: Gröbner basis and Syzygy
: Data types
: Ring
目次
Each object of kan/sm1 has the tag expressed by an integer.
The tag expresses the class to which the object belongs.
You can see the tag of a given object by the operator tag.
For example, if you type in
10 tag ::
then you get the number
.
If you type in
[ 1 2] tag ::
then you get the number
.
The number
is the tag of the integer objects and
the number
is the tag of the array objects.
These tag numbers are stored in the variables
IntegerP and ArrayP.
In order to translate one object to that in a different class,
there is the operator data_conversion or dc.
For example,
(10). (integer) dc ::
translates the polynomial
in the current ring into the integer
and
(10). (string) dc ::
translates the polynomial
into the string 10.
Nobuki Takayama
平成20年1月30日