rmsubs.red 757 B

123456789101112131415161718192021222324252627282930
  1. module rmsubs; % Remove system wide standard quotient substitutions.
  2. % Author: Anthony C. Hearn.
  3. % Copyright (c) 1987 The RAND Corporation. All rights reserved.
  4. fluid '(alglist!*);
  5. global '(!*sqvar!*);
  6. % Contains RPLACA update of *SQVAR*.
  7. !*sqvar!*:= list 't; %variable used by *SQ expressions to control
  8. %resimplification;
  9. symbolic procedure rmsubs;
  10. begin
  11. rplaca(!*sqvar!*,nil); !*sqvar!* := list t;
  12. % while kprops!* do
  13. % <<remprop(car kprops!*,'klist); %kprops!* := cdr kprops!*>>;
  14. % exlist!* := list '(!*);
  15. %This is too dangerous: someone else may have constructed a
  16. %standard form;
  17. alglist!* := nil . nil
  18. end;
  19. endmodule;
  20. end;