diff --git a/changelog b/changelog index 51fe338..a97ed0f 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,7 @@ +20081216 tpd src/axiom-website/patches.html 20081216.02.tpd.patch +20081216 tpd src/input/biquat.input source file name change +20081216 tpd src/axiom-website/patches.html 20081216.01.tpd.patch +20081216 tpd books/bookvol7.1 give complete path to htadd 20081215 tpd src/axiom-website/patches.html 20081215.02.tpd.patch 20081215 tpd books/ps/v103universalsegment.ps added 20081215 tpd books/ps/v103threespace.ps added diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 52ae287..7377e11 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -809,6 +809,8 @@ download.html add vector linux
bookvol10.3 add domains
20081216.01.tpd.patch bookvol7.1 give complete path to htadd
+20081216.02.tpd.patch +biquat.input fix regression failure
\ No newline at end of file diff --git a/src/input/biquat.input.pamphlet b/src/input/biquat.input.pamphlet index bfb3165..2290150 100644 --- a/src/input/biquat.input.pamphlet +++ b/src/input/biquat.input.pamphlet @@ -660,7 +660,7 @@ So let's find out more about this domain: --R RewriteRule(Base: SetCategory,R: Join(Ring,PatternMatchable Base,OrderedSet,ConvertibleTo Pattern Base),F: Join(FunctionSpace R,PatternMatchable Base,ConvertibleTo Pattern Base)) is a domain constructor --R Abbreviation for RewriteRule is RULE --R This constructor is exposed in this frame. ---R Issue )edit rule.spad.pamphlet to see algebra source code for RULE +--R Issue )edit bookvol10.3.spad.pamphlet to see algebra source code for RULE --R --R------------------------------- Operations -------------------------------- --R ?=? : (%,%) -> Boolean coerce : Equation F -> %