diff options
author | dos-reis <gdr@axiomatics.org> | 2008-10-17 23:51:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-10-17 23:51:50 +0000 |
commit | d68d655abaef0d14652e07608c633b1ff1feefda (patch) | |
tree | 21ac14c42a3537584d76376548bc3f9a7255b65d /src/interp/i-coerce.boot | |
parent | e5310ade6942ed3028e2f3cbae831a751aefba9e (diff) | |
download | open-axiom-d68d655abaef0d14652e07608c633b1ff1feefda.tar.gz |
Fix AW/271
* interp/sys-constants.boot ($Field): New.
* interp/i-coerce.boot (retract2Specialization): Ignore
expressions whose types do no belong to Field.
Diffstat (limited to 'src/interp/i-coerce.boot')
-rw-r--r-- | src/interp/i-coerce.boot | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/interp/i-coerce.boot b/src/interp/i-coerce.boot index 35a0e23b..4a145952 100644 --- a/src/interp/i-coerce.boot +++ b/src/interp/i-coerce.boot @@ -214,10 +214,12 @@ retract2Specialization object == type is ['Expression,D] => atom val' => nil -- certainly not a fraction [num,:den] := val' - -- coerceRetract already handles case where den = 1 - num isnt [0,:num] => NIL - den isnt [0,:den] => NIL - objNewWrap([num,:den],[$QuotientField, D]) + ofCategory(type,$Field) => + -- coerceRetract already handles case where den = 1 + num isnt [0,:num] => NIL + den isnt [0,:den] => NIL + objNewWrap([num,:den],[$QuotientField, D]) + nil type is ['SimpleAlgebraicExtension,k,rep,.] => -- try to retract as an element of rep and see if we can get an -- element of k |