001/* 002 * $Id$ 003 */ 004 005package edu.jas.gb; 006 007 008import java.io.IOException; 009import java.io.Reader; 010import java.io.StringReader; 011import java.util.ArrayList; 012import java.util.List; 013 014import junit.framework.Test; 015import junit.framework.TestCase; 016import junit.framework.TestSuite; 017 018import org.apache.logging.log4j.LogManager; 019import org.apache.logging.log4j.Logger; 020 021import edu.jas.arith.BigRational; 022// import edu.jas.kern.ComputerThreads; 023import edu.jas.poly.GenPolynomial; 024import edu.jas.poly.GenPolynomialRing; 025import edu.jas.poly.GenPolynomialTokenizer; 026import edu.jas.poly.PolynomialList; 027 028 029/** 030 * Groebner base sig based via jython tests with JUnit. 031 * @author Heinz Kredel. 032 */ 033 034public class GBSigBasedTest extends TestCase { 035 036 037 private static final Logger logger = LogManager.getLogger(GBSigBasedTest.class); 038 039 040 /** 041 * main 042 @param args not used 043 */ 044 public static void main(String[] args) { 045 junit.textui.TestRunner.run(suite()); 046 } 047 048 049 /** 050 * Constructs a <CODE>GBSigBasedTest</CODE> object. 051 * @param name String. 052 */ 053 public GBSigBasedTest(String name) { 054 super(name); 055 } 056 057 058 /** 059 * suite. 060 * @return test suite. 061 */ 062 public static Test suite() { 063 TestSuite suite = new TestSuite(GBSigBasedTest.class); 064 return suite; 065 } 066 067 068 GenPolynomialRing<BigRational> fac; 069 070 071 List<GenPolynomial<BigRational>> L; 072 073 074 PolynomialList<BigRational> F; 075 076 077 List<GenPolynomial<BigRational>> G, Gn; 078 079 080 GroebnerBaseAbstract<BigRational> bb; 081 082 083 GroebnerBaseAbstract<BigRational> bbn; 084 085 086 GenPolynomial<BigRational> a, b, c, d, e; 087 088 089 int rl = 3; //4; //3; 090 091 092 int kl = 5; //10; 093 094 095 int ll = 5; //7; 096 097 098 int el = 3; 099 100 101 float q = 0.2f; //0.4f 102 103 104 @Override 105 protected void setUp() { 106 BigRational coeff = new BigRational(9); 107 fac = new GenPolynomialRing<BigRational>(coeff, rl); 108 a = b = c = d = e = null; 109 //bb = new GBSigBased<BigRational>(); 110 bb = new GBSigBased<BigRational>(GBSigBased.GBAlgo.ggv1); //sbgb); 111 //bbn = new GroebnerBaseSeq<BigRational>(new ReductionSeq<BigRational>(),new OrderedSyzPairlist<BigRational>()); 112 bbn = new GroebnerBaseSeq<BigRational>(); 113 //logger.info("using " + bb); 114 } 115 116 117 @Override 118 protected void tearDown() { 119 int s = bb.cancel(); 120 logger.debug("canceled tasks: " + s); 121 //assertTrue("s >= 0 " + s, s >= 0); 122 a = b = c = d = e = null; 123 fac = null; 124 bb = null; 125 bbn = null; 126 } 127 128 129 /** 130 * Test GBase. 131 */ 132 public void testGBase() { 133 L = new ArrayList<GenPolynomial<BigRational>>(); 134 135 a = fac.random(kl, ll, el, q); 136 b = fac.random(kl, ll, el, q); 137 c = fac.random(kl, ll, el, q); 138 d = fac.random(kl, ll, el, q); 139 e = d; //fac.random(kl, ll, el, q ); 140 141 if (a.isZERO() || b.isZERO() || c.isZERO() || d.isZERO()) { 142 return; 143 } 144 145 L.add(a); 146 L = bb.GB(L); 147 assertTrue("isGB( { a } )", bb.isGB(L)); 148 149 L.add(b); 150 //System.out.println("L = " + L.size() ); 151 L = bb.GB(L); 152 assertTrue("isGB( { a, b } )", bb.isGB(L)); 153 154 L.add(c); 155 L = bb.GB(L); 156 assertTrue("isGB( { a, b, c } )", bb.isGB(L)); 157 158 L.add(d); 159 L = bb.GB(L); 160 assertTrue("isGB( { a, b, c, d } )", bb.isGB(L)); 161 162 L.add(e); 163 L = bb.GB(L); 164 assertTrue("isGB( { a, b, c, d, e } )", bb.isGB(L)); 165 } 166 167 168 /** 169 * Test Trinks7 GBase. 170 */ 171 @SuppressWarnings({ "unchecked", "cast" }) 172 public void testTrinks7GBase() { 173 //String exam = "Mod 32003 (B,S,T,Z,P,W) L " 174 String exam = "Rat (B,S,T,Z,P,W) L " + "( " + "( 45 P + 35 S - 165 B - 36 ), " 175 + "( 35 P + 40 Z + 25 T - 27 S ), " + "( 15 W + 25 S P + 30 Z - 18 T - 165 B**2 ), " 176 + "( - 9 W + 15 T P + 20 S Z ), " + "( P W + 2 T Z - 11 B**3 ), " 177 + "( 99 W - 11 B S + 3 B**2 ) " + "( 10000 B**2 + 6600 B + 2673 ) " + ") "; 178 Reader source = new StringReader(exam); 179 GenPolynomialTokenizer parser = new GenPolynomialTokenizer(source); 180 try { 181 F = (PolynomialList<BigRational>) parser.nextPolynomialSet(); 182 } catch (ClassCastException e) { 183 fail("" + e); 184 } catch (IOException e) { 185 fail("" + e); 186 } 187 //System.out.println("F = " + F); 188 189 long t; 190 t = System.currentTimeMillis(); 191 Gn = bbn.GB(F.list); 192 t = System.currentTimeMillis() - t; 193 System.out.println("bbn took = " + t); 194 G = bb.GB(F.list); 195 G = bb.GB(F.list); 196 assertEquals("#GB(Trinks7) == 6", 6, G.size()); 197 assertTrue("isGB( GB(Trinks7) ) " + G, bb.isGB(G)); 198 assertEquals("#G == #Gn", G.size(), Gn.size()); 199 assertTrue("t >= 0 ", t >= 0); 200 //PolynomialList<BigRational> trinks = new PolynomialList<BigRational>(F.ring, G); 201 //System.out.println("G = " + trinks); 202 // t = System.currentTimeMillis(); 203 // Gn = bbn.GB(F.list); 204 // t = System.currentTimeMillis() - t; 205 // System.out.println("bbn took = " + t); 206 // G = bb.GB(F.list); 207 // assertEquals("#G == #Gn", G.size(), Gn.size()); 208 // t = System.currentTimeMillis(); 209 // Gn = bbn.GB(F.list); 210 // t = System.currentTimeMillis() - t; 211 // System.out.println("bbn took = " + t); 212 // G = bb.GB(F.list); 213 // assertEquals("#G == #Gn", G.size(), Gn.size()); 214 // assertEquals("#GB(Trinks7) == 6", 6, G.size()); 215 } 216 217}