CoCoA:Describe

From ApCoCoAWiki

Describe

information about an expression

Description

This command gives information about the expression E.

Example

  Use R ::= Z/(32003)[t,x,y];
  I := Ideal(t^3-x,t^4-y);
  G := SyzOfGens(I);
  Print I;
Ideal(t^3 - x, t^4 - y)
-------------------------------
  Describe I;
Record[Type = IDEAL, Value = Record[Gens = [t^3 - x, t^4 - y],
SyzOfGens = Module([-t^4 + y, t^3 - x], [t^4x - xy, -t^3x + x^2])]]
-------------------------------
  Describe Function(<quotes>$mat.Transposed</quotes>);
Define Transposed(M)
  If NOT(Type(M) = MAT) Then
    Error(<quotes>Transposed: argument must be a matrix</quotes>);
  EndIf;
  Return(Mat([
    J,
    1..Len(M[1]),
    TRUE,
    [M[I][J]|I In 1..Len(M)]
  ]));
EndDefine;
-------------------------------

Syntax

Describe(E:OBJECT)
Describe E:OBJECT

Other Help

   <type>help</type>
   <type>miscellaneous</type>