CoCoA:IsTerm

From ApCoCoAWiki
Revision as of 10:02, 24 October 2007 by XMLBot (talk | contribs) (pushing XML rev. 1.46, again)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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>