diff options
author | dos-reis <gdr@axiomatics.org> | 2009-09-02 16:20:53 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-09-02 16:20:53 +0000 |
commit | d2c2747da6be576cc592bcb3f046356af2bfca9b (patch) | |
tree | a4108a95f284d9ee425f32d4027db0edab9975f4 /src/interp/i-resolv.boot | |
parent | 327b4fb2c149c02dd72f3d8f6070b6e0144828ee (diff) | |
download | open-axiom-d2c2747da6be576cc592bcb3f046356af2bfca9b.tar.gz |
* interp/cstream.boot: Cleanup.
* interp/g-boot.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-resolv.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/nrungo.boot: Likewise.
* interp/posit.boot: Likewise.
* interp/sys-constants.boot: Define more constants.
Diffstat (limited to 'src/interp/i-resolv.boot')
-rw-r--r-- | src/interp/i-resolv.boot | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/interp/i-resolv.boot b/src/interp/i-resolv.boot index 31ff3c46..35ca24ce 100644 --- a/src/interp/i-resolv.boot +++ b/src/interp/i-resolv.boot @@ -198,7 +198,7 @@ resolveTTSpecial(t1,t2) == ofCategory(t2,'(Ring)) => resolveTT(['Polynomial,$Integer],t2) resolveTT($Symbol,t2) t1 is ['Variable,x] => - EQCAR(t2,'SimpleAlgebraicExtension) => resolveTTSpecial(t2,t1) + t2 is ["SimpleAlgebraicExtension",:.] => resolveTTSpecial(t2,t1) t2 is ['UnivariatePolynomial,y,S] => x = y => t2 resolveTT1(['UnivariatePolynomial,x,$Integer],t2) @@ -218,18 +218,15 @@ resolveTTSpecial(t1,t2) == mf ~= mg => NIL mf t1 is ['UnivariatePolynomial,x,S] => - EQCAR(t2,'Variable) => - resolveTTSpecial(t2,t1) - EQCAR(t2,'SimpleAlgebraicExtension) => - resolveTTSpecial(t2,t1) + t2 is ["Variable",:.] => resolveTTSpecial(t2,t1) + t2 is ["SimpleAlgebraicExtension",:.] => resolveTTSpecial(t2,t1) t2 is ['UnivariatePolynomial,y,T] => (x = y) and (U := resolveTT1(S,T)) and ['UnivariatePolynomial,x,U] nil t1 = '(Pi) => t2 is ['Complex,d] => defaultTargetFE t2 t2 is ['AlgebraicNumber] => defaultTargetFE t2 - EQCAR(t2, 'Variable) or t2 = $Symbol => - defaultTargetFE($Symbol) + t2 is ["Variable",:.] or t2 = $Symbol => defaultTargetFE($Symbol) t2 is ['Polynomial, .] or t2 is ['Fraction, ['Polynomial, .]] => defaultTargetFE(t2) nil |