source: git/Tst/Short/bug_538_s.tst @ 40f038

spielwiese
Last change on this file since 40f038 was 40f038, checked in by Jakob Kroeker <kroeker@…>, 10 years ago
fixed primdecint::quotientZ bug (538)
  • Property mode set to 100644
File size: 809 bytes
RevLine 
[40f038]1LIB "tst.lib";
2tst_init();
3
4    LIB("primdecint.lib");
5
6    proc testQuotientZSpecialCase()
7    {
8       ring r = integer,(x),dp;
9       def quotientResult =  Primdecint::quotientZ( ideal(x) , ideal(0) );
10       if ( not (size( reduce( quotientResult, std(ideal(1)) )) == 0) )
11       {
12          ERROR("wrong result for Primdecint::quotientZ(x, ideal(0))");
13       }
14    }
15
16    proc testQuotientOneZSpecialCase()
17    {
18       ring r = integer,(x),dp;
19       def quotientOneZResult =  Primdecint::quotientOneZ( ideal(x) , poly(0) );
20       if ( not (size( reduce( quotientOneZResult, std(ideal(1)) )) == 0) )
21       {
22          ERROR("wrong result for Primdecint::quotientOneZResult( x, poly(0) )");
23       }
24    }
25
26    testQuotientZSpecialCase();
27    testQuotientOneZSpecialCase();
28
29
30tst_status(1); $
31
32
Note: See TracBrowser for help on using the repository browser.