Macaulay2 » Documentation
Packages » TriangularSets :: pseudoRemainder(RingElement,RingElement,RingElement)
next | previous | forward | backward | up | index | toc

pseudoRemainder(RingElement,RingElement,RingElement) -- pseudo-remainder

Description

Returns the pseudo-remainder of $f$ by $g$, viewed as univariate polynomials in x.

i1 : R = QQ[x,y];
 
i2 : f = x^4

      4
o2 = x

o2 : R
 
i3 : g = x^2*y + 13*x^2*y^4 +x*y^2-3*x - 1

        2 4    2       2
o3 = 13x y  + x y + x*y  - 3x - 1

o3 : R
 
i4 : pseudoRemainder(x,f,g)

        27    6    87    4     2    3    14  4    27    2     6         6  2
o4 = - ----x*y  + ----x*y  - ----x*y  + ----y  - ----x*y  + ----x*y - ----y 
       2197       2197       2197       2197     2197       2197      2197  
     ------------------------------------------------------------------------
        27       1       9
     + ----x + ----y + ----
       2197    2197    2197

o4 : R
 
i5 : pseudoRemainder(y,f,g)

      4
o5 = x

o5 : R
 

      

      

        
See also

        
      

      

        

          
Ways to use this method:

          
        

        

        

          
The source of this document is in TriangularSets/TriangularSetsDoc.m2:552:0.