$SPAD/src/input pgcd.input

Timothy Daly December 3, 2016

Abstract

This is the test case for polynomial GCDs

Contents

2

— * —

)set break resume
)sys rm -f pgcd.output
)spool pgcd.output
)set message test on
)set message auto off
)clear all
--S 1 of 5
p1:=x^6 * (50*y^8 - 68*y^6 - 104*y^4 + 36*y^2 +22) + _
    x^4 * (12*y^8 - 10*y^6 -  64*y^4 -  6*y^2 + 4) + _
    x^2 * ( 2*y^6 - 14*y^4 -  8*y^2)               + _
          (  -y^4 -    y^2)
--R
--R
--R   (1)
--R         6      4  8         6      4     2  6          6      4      2      4
--R     (50x  + 12x )y  + (- 68x  - 10x  + 2x )y  + (- 104x  - 64x  - 14x  - 1)y
--R   +
--R         6     4     2      2      6     4
--R     (36x  - 6x  - 8x  - 1)y  + 22x  + 4x
--R                                                    Type: Polynomial(Integer)
--E 1
--S 2 of 5
p2:=x^8 * ( 16*y^10 +  16*y^8 -  96*y^6 - 224*y^4 - 176*y^2 - 48) + _
    x^6 * (-72*y^10 + 188*y^8 - 188*y^6 - 572*y^4 - 108*y^2 + 16) + _
    x^4 * (-64*y^10 + 188*y^8 - 372*y^6 -  60*y^4 - 124*y^2)      + _
    x^2 * ( 68*y^8  + 172*y^6 +  97*y^4 -  15*y^2) + _
          (  8*y^8  +  22*y^6 +  14*y^4)
--R
--R
--R   (2)
--R         8      6      4  10       8       6       4      2      8
--R     (16x  - 72x  - 64x )y   + (16x  + 188x  + 188x  + 68x  + 8)y
--R   +
--R           8       6       4       2       6
--R     (- 96x  - 188x  - 372x  + 172x  + 22)y
--R   +
--R            8       6      4      2       4          8       6       4      2  2
--R     (- 224x  - 572x  - 60x  + 97x  + 14)y  + (- 176x  - 108x  - 124x  - 15x )y
--R   +
--R          8      6
--R     - 48x  + 16x
--R                                                    Type: Polynomial(Integer)
--E 2
--S 3 of 5

p1u:=univariate(p1,x)
--R
--R
--R   (3)
--R         8      6       4      2       6       8      6      4     2      4
--R     (50y  - 68y  - 104y  + 36y  + 22)?  + (12y  - 10y  - 64y  - 6y  + 4)?
--R   +
--R        6      4     2  2    4    2
--R     (2y  - 14y  - 8y )?  - y  - y
--R                        Type: SparseUnivariatePolynomial(Polynomial(Integer))
--E 3
--S 4 of 5
p2u:=univariate(p2,x)
--R
--R
--R   (4)
--R         10      8      6       4       2       8
--R     (16y   + 16y  - 96y  - 224y  - 176y  - 48)?
--R   +
--R           10       8       6       4       2       6
--R     (- 72y   + 188y  - 188y  - 572y  - 108y  + 16)?
--R   +
--R           10       8       6      4       2  4       8       6      4      2  2
--R     (- 64y   + 188y  - 372y  - 60y  - 124y )?  + (68y  + 172y  + 97y  - 15y )?
--R   +
--R       8      6      4
--R     8y  + 22y  + 14y
--R                        Type: SparseUnivariatePolynomial(Polynomial(Integer))
--E 4
--S 5 of 5
lg:=[gcd(p1u,p2u) for i in 1..1000]
--R
--R
--R   (5)
--R   [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,

--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
--R    1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
--R                  Type: List(SparseUnivariatePolynomial(Polynomial(Integer)))
--E 5
)spool
)lisp (bye)

———-

References^{[1] nothing}

6