diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 504c511..10dc44d 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -148563,7 +148563,8 @@ UTSodetools(F, UP, L, UTS): Exports == Implementation where a := recip(UP2UTS(- leadingCoefficient op))::UTS n := (degree(op) - 1)::NonNegativeInteger v := [a * UP2UTS coefficient(op, i) for i in 0..n]$Vector(UTS) - fun(v, #1) + r := (l1: List UTS): UTS +-> fun(v, l1) + r fun(v, l) == ans:UTS := 0 diff --git a/changelog b/changelog index c301cda..0a7de90 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090625 tpd src/axiom-website/patches.html 20090625.05.tpd.patch +20090625 tpd books/bookvol10.4 UTSODETL +-> conversion 20090625 tpd src/axiom-website/patches.html 20090625.04.tpd.patch 20090625 tpd books/bookvol10.4 UDPO +-> conversion 20090625 tpd src/axiom-website/patches.html 20090625.03.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 438466c..a898611 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1673,5 +1673,7 @@ bookvol10.4 UPDIVP +-> conversion
bookvol10.4 UTSODE +-> conversion
20090625.04.tpd.patch bookvol10.4 UDPO +-> conversion
+20090625.05.tpd.patch +bookvol10.4 UTSODETL +-> conversion