source: git/Tst/Short/bug_naGreater.tst

spielwiese
Last change on this file was e1f527, checked in by Hans Schoenemann <hannes@…>, 7 years ago
tests for naGreater
  • Property mode set to 100644
File size: 101 bytes
Line 
1LIB "tst.lib";
2tst_init();
3
4ring R=(0,a),x,dp;
5minpoly =2*a^2-1;
6number n = 7;
7n>0;
8
9tst_status(1);$
Note: See TracBrowser for help on using the repository browser.