RegularChains - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : RegularChains : RegularChains/NormalForm

RegularChains

  

NormalForm

  

normal form of a polynomial with respect to a regular chain

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

NormalForm(p, rc, R)

Parameters

R

-

polynomial ring

rc

-

regular chain of R

Description

• 

The function call NormalForm(p, rc, R) returns the normal form of p with respect to rc, that is, a rational polynomial rh such that hp equals r modulo the ideal generate by rc and such that r is reduced with respect to rc.

• 

For this call, the regular chain rc must be strongly normalized.

• 

The algorithm is based on that of  SparsePseudoRemainder.

• 

Please, refer to the paper of Boulier and Lemaire in Proc. ISSAC 2000 for detail about strongly normalized regular chains and normal forms.

• 

This command is part of the RegularChains package, so it can be used in the form NormalForm(..) only after executing the command with(RegularChains). However, it can always be accessed through the long form of the command by using RegularChains[NormalForm](..).

• 

The commands NormalFormDim0 and ReduceCoefficientsDim0 implement asymptotically fast algorithms for computing the normal form of a polynomial with respect to a zero-dimensional regular chain.

Examples

withRegularChains:withChainTools:

RPolynomialRingx,y,z

R:=polynomial_ring

(1)

rcListConstructz2+1,y2z,EmptyR,R1

rc:=regular_chain

(2)

NormalFormy2+1,rc,R

z+1

(3)

The SparsePseudoRemainder(p, rc, R) often returns a multiple of NormalForm(p, rc, R)

rcListConstructz2+1,3y2z,EmptyR,R1

rc:=regular_chain

(4)

NormalFormy2+1,rc,R

1+13z

(5)

SparsePseudoRemaindery2+1,rc,R

3+z

(6)

See Also

Empty

IsStronglyNormalized

ListConstruct

NormalFormDim0

PolynomialRing

ReduceCoefficientsDim0

RegularChains

SparsePseudoRemainder

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam