isRegularChain -- whether a triangular set is a regular chain

Synopsis

Usage:

isRegularChain(T)
Inputs:
- T, an instance of the type TriaSystem,
Outputs:
- a Boolean value, true if T is a regular chain, and false otherwise

Description

Let $T = (t_1,t_2,\cdots,t_k)$ be a triangular set (i.e., their main variables are distinct), and let $h$ be the product of its initials. $T$ is a regular chain if the iterated resultant is nonzero: $resultant(h,T)\neq 0$.

i1 : R = QQ[x,y,z,MonomialOrder=>Lex];

i2 : F = {x*y - y*z, y^2 - z^2};

i3 : T = triaSystem(R,F,{y});

i4 : isRegularChain(T)

o4 = true

Ways to use isRegularChain :

isRegularChain(TriaSystem)

For the programmer

The object isRegularChain is a method function.

isRegularChain -- whether a triangular set is a regular chain

Synopsis

Description

See also

Ways to use isRegularChain :

For the programmer