aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/fspace.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-10-14 02:42:22 +0000
committerdos-reis <gdr@axiomatics.org>2008-10-14 02:42:22 +0000
commit88f88f9394c6611118f20517b8a29b735c79dcfe (patch)
tree2e8a319212d303b77c4e655b6b36bd6eb69fe995 /src/algebra/fspace.spad.pamphlet
parentcefbf3117dd07b3c2a129a5b092abe4d84c636b8 (diff)
downloadopen-axiom-88f88f9394c6611118f20517b8a29b735c79dcfe.tar.gz
Fix AW/23
* algebra/fspace.spad.pamphlet (isExpt): Tidy. * algebra/algfunc.spad.pamphlet (inroot): Likewise.
Diffstat (limited to 'src/algebra/fspace.spad.pamphlet')
-rw-r--r--src/algebra/fspace.spad.pamphlet6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet
index b5c57214..b7e0fcc5 100644
--- a/src/algebra/fspace.spad.pamphlet
+++ b/src/algebra/fspace.spad.pamphlet
@@ -830,12 +830,14 @@ FunctionSpace(R:OrderedSet): Category == Definition where
isExpt(x:%, op:OP) ==
(u := isExpt x) case "failed" => "failed"
- is?((u::Record(var:K, exponent:Z)).var, op) => u
+ v := (u::Record(var:K, exponent:Z)).var
+ is?(v,op) and #argument(v) = 1 => u
"failed"
isExpt(x:%, sy:SY) ==
(u := isExpt x) case "failed" => "failed"
- is?((u::Record(var:K, exponent:Z)).var, sy) => u
+ v := (u::Record(var:K, exponent:Z)).var
+ is?(v, sy) and #argument(v) = 1 => u
"failed"
if R has RetractableTo Z then