/** Test homogeneous. */ public void testHomogeneous() { // rational numbers BigRational rf = new BigRational(); // System.out.println("rf = " + rf); // polynomials over rational numbers GenPolynomialRing<BigRational> pf = new GenPolynomialRing<BigRational>(rf, 2); // rl); // System.out.println("pf = " + pf); // test 1 GenPolynomial<BigRational> p = pf.getONE(); // System.out.println("p = " + p); assertTrue("1 is homogeneous " + p, p.isHomogeneous()); // test 0 p = pf.getZERO(); // System.out.println("p = " + p); assertTrue("0 is homogeneous " + p, p.isHomogeneous()); // test random p = pf.random(kl, 2 * ll, el, q); // p = pf.random(kl,ll,el,q); // System.out.println("p = " + p); assertFalse("rnd is homogeneous " + p, p.isHomogeneous()); // make homogeneous GenPolynomialRing<BigRational> pfh = pf.extend(1); // System.out.println("pfh = " + pfh); // remove block order TermOrder to = new TermOrder(TermOrder.IGRLEX); pfh = new GenPolynomialRing<BigRational>(pfh, to); // System.out.println("pfh = " + pfh); GenPolynomial<BigRational> ph = p.homogenize(pfh); // System.out.println("ph = " + ph); assertTrue("ph is homogeneous " + ph, ph.isHomogeneous()); GenPolynomial<BigRational> ps = ph.deHomogenize(pf); // System.out.println("ps = " + ps); assertEquals("phs == p ", ps, p); // findbugs // System.out.println("p is homogeneous = " + p.isHomogeneous()); // System.out.println("ph is homogeneous = " + ph.isHomogeneous()); GenPolynomial<BigRational> s = pf.random(kl, ll, el, q); // System.out.println("s = " + s); assertFalse("rnd is homogeneous " + s, s.isHomogeneous()); GenPolynomial<BigRational> sh = s.homogenize(pfh); // System.out.println("sh = " + sh); assertTrue("sh is homogeneous " + sh, sh.isHomogeneous()); GenPolynomial<BigRational> ss = sh.deHomogenize(pf); // System.out.println("ss = " + ss); assertEquals("ss = s ", ss, s); GenPolynomial<BigRational> th = ph.multiply(sh); // System.out.println("th = " + th); assertTrue("th is homogeneous " + th, th.isHomogeneous()); GenPolynomial<BigRational> t = p.multiply(s); // System.out.println("t = " + t); GenPolynomial<BigRational> ts = th.deHomogenize(pf); // System.out.println("ts = " + ts); assertEquals("ts = t ", ts, t); }