diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-09 05:18:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-09 05:18:19 +0000 |
| commit | ae1c8a6b70153b86b7ff1ec972ba5f7ce7e818f6 (patch) | |
| tree | f0be83bb14b921031429fe3e37c7b5cff93d872c /src/interp/rulesets.boot | |
| parent | 114fbbb2d4a1b9aca26064d8a2fcf180c65911d2 (diff) | |
| download | open-axiom-ae1c8a6b70153b86b7ff1ec972ba5f7ce7e818f6.tar.gz | |
* interp/cattable.boot: Replace call to CONS with bracket syntax.
* interp/clammed.boot: Likewise.
* interp/cparse.boot: Likewise.
* interp/dq.boot: Likewise.
* interp/fortcall.boot: Likewise.
* interp/g-boot.boot: Likewise.
* interp/i-coerce.boot: Likewise.
* interp/i-coerfn.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-object.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-resolv.boot: Likewise.
* interp/i-spec1.boot: Likewise.
* interp/i-spec2.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/incl.boot: Likewise.
* interp/interop.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/msgdb.boot: Likewise.
* interp/newfort.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunopt.boot: Likewise.
* interp/rulesets.boot: Likewise.
* interp/scan.boot: Likewise.
* interp/termrw.boot: Likewise.
* interp/wi2.boot: Likewise.
Diffstat (limited to 'src/interp/rulesets.boot')
| -rw-r--r-- | src/interp/rulesets.boot | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/interp/rulesets.boot b/src/interp/rulesets.boot index a2a05ed5..d877008d 100644 --- a/src/interp/rulesets.boot +++ b/src/interp/rulesets.boot @@ -1,6 +1,6 @@ -- Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. -- All rights reserved. --- Copyright (C) 2007-2008, Gabriel Dos Reis. +-- Copyright (C) 2007-2010, Gabriel Dos Reis. -- All rights reserved. -- -- Redistribution and use in source and binary forms, with or without @@ -148,8 +148,8 @@ createResolveTTRules() == -- expand multivariate polynomial rules mps := '(MP DMP NDMP) mpRules := "append"/[substitute(mp,'mpoly1,$mpolyTTRules) for mp in mps] - $Res := CONS('(t1 t2 x y), - EQSUBSTLIST($nameList,$abList,append($generalTTRules,mpRules))) + $Res := ['(t1 t2 x y), + :EQSUBSTLIST($nameList,$abList,append($generalTTRules,mpRules))] true --% resolveTM Rules @@ -285,17 +285,17 @@ createResolveTMRules() == mps := '(MP DMP NDMP) mpRules0 := "append"/[substitute(mp,'mpoly1,$mpolyTMRules) for mp in mps] mpRules := "append"/[substitute(mp,'mpoly2,mpRules0) for mp in mps] - $ResMode := CONS('(t1 t2 x y), - EQSUBSTLIST($nameList,$abList,append(mpRules,$generalTMRules))) + $ResMode := ['(t1 t2 x y), + :EQSUBSTLIST($nameList,$abList,append(mpRules,$generalTMRules))] true createTypeEquivRules() == -- used by eqType, for example - $TypeEQ := CONS('(t1), EQSUBSTLIST($nameList,$abList,'( + $TypeEQ := ['(t1), :EQSUBSTLIST($nameList,$abList,'( ((QF (P t1)) . (RF t1)) ((QF (I)) . (RN)) - ((RE (RN)) . (RR)) ))) - $TypeEqui := CONS(first $TypeEQ, [[b,:a] for [a,:b] in rest $TypeEQ]) + ((RE (RN)) . (RR)) ))] + $TypeEqui := [first $TypeEQ, :[[b,:a] for [a,:b] in rest $TypeEQ]] true initializeRuleSets() == |