CoCoA:IsTerm
From ApCoCoAWiki
IsTerm
checks if the argument is a term
Description
The function determines whether X is a term. For a polynomial, a
term is a power-product, i.e., a product of indeterminates. Thus,
<formula>xy^2z</formula> is a term, while <formula>4xy^2z</formula> and <formula>xy+2z^3</formula> are not. For a vector, a term is a power-product times a standard basis vector, e.g., <formula>(0,xy^2z,0)</formula>.
Example
Use R ::= Q[x,y,z]; IsTerm(x+y^2); FALSE ------------------------------- IsTerm(x^3yz^2); TRUE ------------------------------- IsTerm(5x^3yz^2); FALSE ------------------------------- IsTerm(Vector(0,0,xyz)); TRUE ------------------------------- IsTerm(Vector(x^2,y^2)); FALSE ------------------------------- IsTerm(5x^2); FALSE -------------------------------
Syntax
IsTerm(X:POLY or VECTOR):BOOL
<type>polynomial</type> <type>vector</type> <type>boolean</type>
