previous  next
IsPosTo, IsToPos
Syntax
IsPosTo(R:RING):BOOL
IsToPos(R:RING):BOOL

where R is an identifier for a ring.
Summary
checks the module term-ordering of a ring
Description
The first function determines whether the ring R has the PosTo module
term-ordering.  The second function determines whether R has the ToPos
module term-ordering. (These are the only possible module
term-orderings in CoCoA.)

Example

Use R ::= Q[x,y,z];
S ::= Q[x,y],PosTo;
IsPosTo(R);
FALSE
-------------------------------
IsToPos(R);
TRUE
-------------------------------
IsPosTo(S);
TRUE
-------------------------------
IsToPos(Var(RingEnv()));  -- to check the current ring, R
TRUE
-------------------------------