diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index 739b4d0..202729c 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -146659,8 +146659,8 @@ UnivariateFormalPowerSeries(Coef: Ring) == )set message test on )set message auto off )clear all - ---S 1 of 1 + +--S 1 of 12 )show UnivariateLaurentSeries --R --R UnivariateLaurentSeries(Coef: Ring,var: Symbol,cen: Coef) is a domain constructor @@ -146860,6 +146860,99 @@ UnivariateFormalPowerSeries(Coef: Ring) == --R --E 1 +--S 2 of 12 +Z ==> Integer +--R +--R Type: Void +--E 2 + +--S 3 of 12 +Q ==> Fraction Z +--R +--R Type: Void +--E 3 + +--S 4 of 12 +z:Symbol := 'z +--R +--R +--R (3) z +--R Type: Symbol +--E 4 + +--S 5 of 12 +L ==> UnivariateLaurentSeries(Q,z,0) +--R +--R Type: Void +--E 5 + +--S 6 of 12 +q:L := z::Variable(z)::L +--R +--R +--R (5) z +--R Type: UnivariateLaurentSeries(Fraction(Integer),z,0) +--E 6 + +--S 7 of 12 +t1:L := (1/((1-q)*(1-q^2))) +--R +--R +--R 2 3 4 5 6 7 8 9 10 11 +--R (6) 1 + z + 2z + 2z + 3z + 3z + 4z + 4z + 5z + 5z + 6z + O(z ) +--R Type: UnivariateLaurentSeries(Fraction(Integer),z,0) +--E 7 + +--S 8 of 12 +t2 := t1-1 +--R +--R +--R (7) +--R 2 3 4 5 6 7 8 9 10 11 12 +--R z + 2z + 2z + 3z + 3z + 4z + 4z + 5z + 5z + 6z + 6z + O(z ) +--R Type: UnivariateLaurentSeries(Fraction(Integer),z,0) +--E 8 + +--S 9 of 12 +recip t2 +--R +--R +--R (8) +--R - 1 2 3 4 5 6 7 8 9 10 +--R z - 2 + 2z - 3z + 5z - 8z + 13z - 21z + 34z - 55z + 89z + O(z ) +--R Type: Union(UnivariateLaurentSeries(Fraction(Integer),z,0),...) +--E 9 + +--S 10 of 12 +t3 := recip t2 +--R +--R +--R (9) +--R - 1 2 3 4 5 6 7 8 9 10 +--R z - 2 + 2z - 3z + 5z - 8z + 13z - 21z + 34z - 55z + 89z + O(z ) +--R Type: Union(UnivariateLaurentSeries(Fraction(Integer),z,0),...) +--E 10 + +--S 11 of 12 +t4:Union(L,"failed") := (recip t2)$L +--R +--R +--R (10) +--R - 1 2 3 4 5 6 7 8 9 10 +--R z - 2 + 2z - 3z + 5z - 8z + 13z - 21z + 34z - 55z + 89z + O(z ) +--R Type: Union(UnivariateLaurentSeries(Fraction(Integer),z,0),...) +--E 11 + +--S 12 of 12 +t5:Union(L,"failed") := t3 +--R +--R +--R (11) +--R - 1 2 3 4 5 6 7 8 9 10 +--R z - 2 + 2z - 3z + 5z - 8z + 13z - 21z + 34z - 55z + 89z + O(z ) +--R Type: Union(UnivariateLaurentSeries(Fraction(Integer),z,0),...) +--E 12 + )spool )lisp (bye) \end{chunk} diff --git a/changelog b/changelog index 2b9aa56..db96203 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20141210 tpd src/axiom-website/patches.html 20141210.01.tpd.patch +20141210 tpd books/bookvol10.3 add UnivariateLaurentSeries tests 20141209 tpd src/axiom-website/patches.html 20141209.05.tpd.patch 20141209 tpd buglist: bug 7271: Mistake in an example from book introduction 20141209 tpd src/axiom-website/patches.html 20141209.04.tpd.patch diff --git a/patch b/patch index fe3edcc..517d919 100644 --- a/patch +++ b/patch @@ -1,12 +1,2 @@ -buglist: bug 7271: Mistake in an example from book introduction - -in section 0.2.2, "Type Conversion" of Axiom Book, there's an -example of a conversion that seems to be wrong. It uses - -(4.6)::Float - -Since there's no point in a coercion from Float to a Float, from -the context, it seems the intention was to write: - -(23/5)::Float +books/bookvol10.3 add UnivariateLaurentSeries tests diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 035c1d6..cb10912 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4796,6 +4796,8 @@ buglist: bug 7269: hash does not work for Record
buglist: bug 7270: integral comfused by branches
20141209.05.tpd.patch buglist: bug 7271: Mistake in an example from book introduction
+20141210.01.tpd.patch +books/bookvol10.3 add UnivariateLaurentSeries tests