invbase.red 1000 B

12345678910111213141516171819202122232425262728293031323334
  1. module invbase; % Computing involutive basis of polynomial system.
  2. % Authors: Alexey Yu. Zharkov, Yuri A. Blinkov
  3. % Saratov University, Astrakhanskaya 83,
  4. % Saratov 410071, Russia
  5. % e-mail: postmaster@scnit.saratov.su
  6. % Copyright A. Zharkov, Y. Blinkov;
  7. % all rights reserved.
  8. % Minor fixes by John Fitch.
  9. create!-package('(invbase invbint invbcomp),'(contrib invbase));
  10. fluid '(CONDS GV HV BV NG GG VARLIST VJETS NC); % globals
  11. fluid '(ORDERING REDTAILS); % modes
  12. fluid '(PATH TRED STARS); % tracing
  13. fluid '(REDUCTIONS NFORMS ZEROS MAXORD TITLE); % statistics
  14. fluid '(invsysvars!* !*trinvbase alfa beta shortway thirdway
  15. invtempbasis);
  16. share invtempbasis;
  17. ordering := 'grev;
  18. switch trinvbase;
  19. gv:=mkvect(1000)$ % p o l y n o m i a l s
  20. bv:=mkvect(1000)$ % f l a g (n e w p r o l o n g a t i o n s)
  21. endmodule;
  22. end;