axiom-test 20120501-8 / usr / share / axiom-20120501 / input / infprod.input

This file is indexed.

/usr/share/axiom-20120501/input/infprod.input is in axiom-test 20120501-8.

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
)set break resume
)spool infprod.output
)set message test on
)set message auto off
)clear all
 
--S 1 of 11
f : UTS(INT,x,0) := 1 - x
--R 
--R
--R   (1)  1 - x
--R                                    Type: UnivariateTaylorSeries(Integer,x,0)
--E 1

--S 2 of 11
g : UTS(INT,x,0) := recip f
--R 
--R
--R                 2    3    4    5    6    7    8    9    10      11
--R   (2)  1 + x + x  + x  + x  + x  + x  + x  + x  + x  + x   + O(x  )
--R                                    Type: UnivariateTaylorSeries(Integer,x,0)
--E 2

--S 3 of 11
infiniteProduct g
--R 
--R
--R   (3)
--R             2     3     4     5      6      7      8      9      10      11
--R   1 + x + 2x  + 3x  + 5x  + 7x  + 11x  + 15x  + 22x  + 30x  + 42x   + O(x  )
--R                                    Type: UnivariateTaylorSeries(Integer,x,0)
--E 3

--S 4 of 11
h := infiniteProduct(f ** 24)
--R 
--R
--R   (4)
--R                   2        3        4        5         6         7          8
--R     1 - 24x + 252x  - 1472x  + 4830x  - 6048x  - 16744x  + 84480x  - 113643x
--R   + 
--R              9          10      11
--R     - 115920x  + 534612x   + O(x  )
--R                                    Type: UnivariateTaylorSeries(Integer,x,0)
--E 4

--S 5 of 11
delta := x * h
--R 
--R
--R   (5)
--R            2       3        4        5        6         7         8          9
--R     x - 24x  + 252x  - 1472x  + 4830x  - 6048x  - 16744x  + 84480x  - 113643x
--R   + 
--R              10      11
--R     - 115920x   + O(x  )
--R                                    Type: UnivariateTaylorSeries(Integer,x,0)
--E 5

--S 6 of 11
coefficient(delta,21)
--R 
--R
--R   (6)  - 4219488
--R                                                                Type: Integer
--E 6

--S 7 of 11
coefficient(delta,3) * coefficient(delta,7)
--R 
--R
--R   (7)  - 4219488
--R                                                                Type: Integer
--E 7

--S 8 of 11
coefficient(delta,20)
--R 
--R
--R   (8)  - 7109760
--R                                                                Type: Integer
--E 8

--S 9 of 11
coefficient(delta,4) * coefficient(delta,5)
--R 
--R
--R   (9)  - 7109760
--R                                                                Type: Integer
--E 9

--S 10 of 11
coefficient(delta,65)
--R 
--R
--R   (10)  - 2790474540
--R                                                                Type: Integer
--E 10

--S 11 of 11
coefficient(delta,13) * coefficient(delta,5)
--R 
--R
--R   (11)  - 2790474540
--R                                                                Type: Integer
--E 11
)spool 
)lisp (bye)

APT Browse - Built by Thomas Orozco.