axiom-test 20140801-11 / usr / share / axiom-20140801 / input / pgcd.input

This file is indexed.

/usr/share/axiom-20140801/input/pgcd.input is in axiom-test 20140801-11.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
)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)

APT Browse - Built by Thomas Orozco.