diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-10-20 17:15:44 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-10-20 17:15:44 +0000 |
| commit | 785f70dd27ab014699433d1b94fd27323d3ec269 (patch) | |
| tree | 72929acd2de21b11ad8fa9910850ffd44098d2c4 | |
| parent | 2ac7efb87c75f202ee89d53bf5a480402d11322f (diff) | |
| download | open-axiom-785f70dd27ab014699433d1b94fd27323d3ec269.tar.gz | |
Add documentation to bfSUBLIS1
| -rw-r--r-- | src/boot/ast.boot.pamphlet | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/boot/ast.boot.pamphlet b/src/boot/ast.boot.pamphlet index 2d0b7e64..02c99679 100644 --- a/src/boot/ast.boot.pamphlet +++ b/src/boot/ast.boot.pamphlet @@ -444,6 +444,11 @@ bfSUBLIS(p,e)== EQCAR(e,"QUOTE")=>e cons(bfSUBLIS(p,car e),bfSUBLIS(p,cdr e)) ++++ Returns e/p, where e is an atom. We assume that the ++++ DEFs form a system admitting a fix point; otherwise we may ++++ loop forever. That can happen only if nullary goats ++++ are recursive -- which they are not supposed to be. ++++ We don't enforce that restriction though. bfSUBLIS1(p,e)== null p =>e f:=CAR p |