diff --git a/books/bookvol10.4.pamphlet b/books/bookvol10.4.pamphlet index 3c0b9d3..3852e20 100644 --- a/books/bookvol10.4.pamphlet +++ b/books/bookvol10.4.pamphlet @@ -120306,7 +120306,7 @@ PatternMatchFunctionSpace(S, R, F): Exports== Implementation where patternMatch(denom(x)::F, uq.den, l) (u := isPlus p) case List(PAT) => (lx := isPlus x) case List(F) => - patternMatch(lx::List(F), u::List(PAT), +/#1, l, patternMatch) + patternMatch(lx::List(F), u::List(PAT), l1 +-> +/l1, l, patternMatch) (u := optpair(u::List(PAT))) case List(PAT) => failed?(l := addMatch(first(u::List(PAT)), 0, l)) => failed() patternMatch(x, second(u::List(PAT)), l) diff --git a/changelog b/changelog index 7ed77c8..33afdb2 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090609 tpd src/axiom-website/patches.html 20090610.01.tpd.patch +20090609 tpd books/bookvol10.4 PMFS +-> conversion 20090609 tpd src/axiom-website/patches.html 20090609.09.tpd.patch 20090609 tpd books/bookvol10.4 PATTERN1 +-> conversion 20090609 tpd src/axiom-website/patches.html 20090609.08.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index f73dcab..2dd40c8 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1531,5 +1531,7 @@ bookvol10.4 PFRPAC +-> conversion
bookvol10.4 PARTPERM +-> conversion
20090609.09.tpd.patch bookvol10.4 PATTERN1 +-> conversion
+20090610.01.tpd.patch +bookvol10.4 PMFS +-> conversion