Changeset 4a2260e in git for libpolys/tests
- Timestamp:
- May 19, 2011, 4:45:26 PM (13 years ago)
- Branches:
- (u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')
- Children:
- 37c7fc12531c0affe2e7abfce3be0590304fc0da
- Parents:
- c28ecf1b368527a9ec9e39a3db43a7b75040f036
- git-author:
- Frank Seelisch <seelisch@mathematik.uni-kl.de>2011-05-19 16:45:26+02:00
- git-committer:
- Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:36:13+01:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
libpolys/tests/polys_test.h
rc28ecf r4a2260e 209 209 { 210 210 private: 211 void checkInverse(number n, const coeffs cf) 212 { 213 clog << "n = "; n_Write(n, cf); 214 number n1 = n_Invers(n, cf); 215 clog << "==> n^(-1) = "; n_Write(n1, cf); 216 number n2 = n_Mult(n, n1, cf); 217 clog << "(check: n * n^(-1) = "; n_Write(n2, cf); 218 n_Delete(&n1, cf); n_Delete(&n2, cf); 219 } 211 220 void TestArithCf(const coeffs r) 212 221 { … … 592 601 593 602 Test(s); 603 604 clog << endl 605 << "Now let's compute some inverses in Q[a]/<a2+1>..." 606 << endl; 607 608 number a = n_Par(1, cf); 609 number n1 = n_Init(1, cf); 610 number n5 = n_Init(5, cf); 611 number n17 = n_Init(17, cf); 612 number u; number v; 613 614 u = n_Add(a, n1, cf); checkInverse(u, cf); n_Delete(&u, cf); // a + 1 615 u = n_Sub(a, n1, cf); checkInverse(u, cf); n_Delete(&u, cf); // a - 1 616 u = n_Add(a, n5, cf); checkInverse(u, cf); n_Delete(&u, cf); // a + 5 617 u = n_Sub(a, n5, cf); checkInverse(u, cf); n_Delete(&u, cf); // a - 5 618 v = n_Mult(a, n17, cf); 619 u = n_Add(v, n5, cf); n_Delete(&v, cf); // 17a + 5 620 checkInverse(u, cf); n_Delete(&u, cf); 621 622 n_Delete(&a, cf); n_Delete(&n1, cf); n_Delete(&n5, cf); 623 n_Delete(&n17, cf); 594 624 595 625 rDelete(s); // kills 'cf' and 'r' as well
Note: See TracChangeset
for help on using the changeset viewer.