one |
Syntax |
one(R: RING): RINGELEM |
Description |
Example |
/**/ P ::= ZZ/(101)[x,y,z]; /**/ N := 1; Print N, " of type ", type(N); 1 of type INT /**/ N := one(P); Print N, " of type ", type(N); 1 of type RINGELEM /**/ N := 300*1; Print N, " of type ", type(N); 300 of type INT /**/ N := 300*one(P); Print N, " of type ", type(N); -3 of type RINGELEM |
See Also |