AsINT -- convert into an INT |
Syntax |
AsINT(N: INT): INT AsINT(N: RAT): INT AsINT(N: RINGELEM): INT |
Description |
Example |
/**/ use P ::= QQ[x,y]; /**/ type(LC(3*x-y)); RINGELEM /**/ type(AsINT(LC(3*x-y))); INT -- /**/ type(AsINT(LC((3/2)*x-y))); --> !!! ERROR !!! as expected |
See Also |