diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index a88789d..4487fa7 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -134591,8 +134591,8 @@ RegularTriangularSetGcdPackage(R,E,V,P,TS): Exports == Implementation where ++ \axiom{integralLastSubResultant(p1,p2,ts)} ++ is an internal subroutine, exported only for developement. toseLastSubResultant: (P,P,TS) -> List PWT - ++ \axiom{toseLastSubResultant(p1,p2,ts)} has the same specifications as - ++ \axiomOpFrom{lastSubResultant}{RegularTriangularSetCategory}. + ++ \axiom{toseLastSubResultant(p1,p2,ts)} has the same specifications + ++ as \axiomOpFrom{lastSubResultant}{RegularTriangularSetCategory}. toseInvertible?: (P,TS) -> B ++ \axiom{toseInvertible?(p1,p2,ts)} has the same specifications as ++ \axiomOpFrom{invertible?}{RegularTriangularSetCategory}. @@ -134686,7 +134686,7 @@ RegularTriangularSetGcdPackage(R,E,V,P,TS): Exports == Implementation where -- CAN BE OPTIMIZED if the input tower is separable inv := toseInvertible?(q,ts_h)@(List BWT) lbwt := concat([bwt for bwt in inv | bwt.val],lbwt) - sort(#1.val < #2.val,lbwt) + sort((x,y) +-> x.val < y.val,lbwt) toseInvertibleSet(p:P,ts:TS): Split == k: KeyInvSet := [p,ts] diff --git a/changelog b/changelog index 7359b96..fcc83f5 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090620 tpd src/axiom-website/patches.html 20090620.06.tpd.patch +20090620 tpd books/bookvol10.4 RSETGCD +-> conversion 20090620 tpd src/axiom-website/patches.html 20090620.05.tpd.patch 20090620 tpd books/bookvol10.4 ODERED +-> conversion 20090620 tpd src/axiom-website/patches.html 20090620.04.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 1dca96a..01504c5 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1609,5 +1609,7 @@ bookvol10.4 ODERTRIC +-> conversion
bookvol10.4 RECOP +-> conversion
20090620.05.tpd.patch bookvol10.4 ODERED +-> conversion
+20090620.06.tpd.patch +bookvol10.4 RSETGCD +-> conversion