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

(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 2020-11-24