Package com.singularsys.exttests

Class PolynomialCreatorTest

java.lang.Object

com.singularsys.exttests.PolynomialCreatorTest

public class PolynomialCreatorTest
extends Object

Tests for the polynomial package.

Field Summary

Fields

Modifier and Type	Field	Description
protected XJep	jep
protected PolynomialCreator	pc
static final boolean	PRINT_RESULTS
protected SubstitutionVisitor	sv

Constructor Summary

Constructors

Constructor	Description
PolynomialCreatorTest()

Method Summary

Modifier and Type	Method	Description
void	assertPolynomialEquals(String s1, String s2)
void	expandTestString(String expr, String expected)
void	myAssertEquals(String msg, String actual, String expected)
void	PConstant_with_complex_int_value()
void	poly_with_function_add_poly_with_function()
void	poly_with_function_add_poly_with_function2()
void	setUp()
void	simplifyTest(String expr, String expected)
void	simplifyTestString(String expr, String expected)
void	simplifyTestString2(String expr, String expected, String expt2)
void	simplifyTestString3(String expr, String expected, String expt2, String expt3)
void	test_compare_uses_preprocessed_arguments()
void	test_ComplexTotalOrder()
void	test_expandComplex()	Uses the ComplexFieldWithTotalOrder to allow simplification of polynomials with Currently failing test.
void	test_rewrite_power_of_i()	Users the ComplexPolynomialRewriter to rewrite powers of i.
void	test_serialization_of_elements()
void	test_toPNodeArrayRecursive()
void	test7dim()
void	testAdd()
void	testBad1()
void	testBad2()
void	testBad3()
void	testBad4()
void	testBad5()
void	testBad6Works()
void	testBad7()
void	testCommute()
void	testCompare()
void	testCreatePoly()
void	testDirtyFunctions()	Checks that simplify/expand does not clean functions and operators marked with DirtyFunction and does clean other functions and operators with constant arguments.
void	testExpandOperator()
void	testExpandToNode()	The expand.toNode has problems with uminus
void	testMonomial()
void	testPolyDiffSimp()
void	testPolySigns()	Check that it does not create a polynomial like x+-y =
void	testPolySimp()
void	testPolySimp2()
void	testPrint()
void	testSimp()
void	testSimpleEquals()
void	testSub()
void	testToArray()
void	testToCoefficientArray()
void	testTotalOrder()	The total ordering of monomials/polynomials mean that terms are rearranged.
void	testUnitaryPlusBug()
void	usingRationalField()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

PRINT_RESULTS

public static final boolean PRINT_RESULTS

jep

protected XJep jep

pc

protected PolynomialCreator pc

sv

protected SubstitutionVisitor sv

Constructor Details

PolynomialCreatorTest

public PolynomialCreatorTest()

Method Details

setUp

@BeforeEach
public void setUp()
           throws Exception

Throws:

Exception

myAssertEquals

public void myAssertEquals(String msg,
 String actual,
 String expected)

assertPolynomialEquals

public void assertPolynomialEquals(String s1,
 String s2)
                            throws Exception

Throws:

Exception

simplifyTest

public void simplifyTest(String expr,
 String expected)
                  throws Exception

Throws:

Exception

simplifyTestString

public void simplifyTestString(String expr,
 String expected)
                        throws JepException

Throws:

JepException

simplifyTestString2

public void simplifyTestString2(String expr,
 String expected,
 String expt2)
                         throws Exception

Throws:

Exception

simplifyTestString3

public void simplifyTestString3(String expr,
 String expected,
 String expt2,
 String expt3)
                         throws Exception

Throws:

Exception

expandTestString

public void expandTestString(String expr,
 String expected)
                      throws JepException

Throws:

JepException

testPrint

@Test
public void testPrint()
               throws Exception

Throws:

Exception

testMonomial

@Test
public void testMonomial()
                  throws Exception

Throws:

Exception

testSimp

@Test
public void testSimp()
              throws Exception

Throws:

Exception

testCommute

@Test
public void testCommute()
                 throws Exception

Throws:

Exception

testPolySimp

@Test
public void testPolySimp()
                  throws Exception

Throws:

Exception

testPolyDiffSimp

@Test
public void testPolyDiffSimp()
                      throws Exception

Throws:

Exception

testTotalOrder

@Test
public void testTotalOrder()
                    throws JepException

The total ordering of monomials/polynomials mean that terms are rearranged.

Throws:

JepException

testCompare

@Test
public void testCompare()
                 throws Exception

Throws:

Exception

testPolySimp2

@Test
public void testPolySimp2()
                   throws Exception

Throws:

Exception

testExpandToNode

@Test
public void testExpandToNode()
                      throws Exception

The expand.toNode has problems with uminus

Throws:

Exception

testDirtyFunctions

@Test
public void testDirtyFunctions()
                        throws JepException

Checks that simplify/expand does not clean functions and operators marked with DirtyFunction and does clean other functions and operators with constant arguments.

Throws:

JepException

testSimpleEquals

@Test
public void testSimpleEquals()
                      throws Exception

Throws:

Exception

testToArray

@Test
public void testToArray()
                 throws Exception

Throws:

Exception

test_toPNodeArrayRecursive

@Test
public void test_toPNodeArrayRecursive()
                                throws Exception

Throws:

Exception

testToCoefficientArray

@Test
public void testToCoefficientArray()
                            throws Exception

Throws:

Exception

testUnitaryPlusBug

@Test
public void testUnitaryPlusBug()
                        throws Exception

Throws:

Exception

test7dim

@Test
public void test7dim()
              throws Exception

Throws:

Exception

testCreatePoly

@Test
public void testCreatePoly()
                    throws JepException

Throws:

JepException

testAdd

@Test
public void testAdd()
             throws JepException

Throws:

JepException

testPolySigns

@Test
public void testPolySigns()
                   throws Exception

Check that it does not create a polynomial like x+-y =

Throws:

Exception

testExpandOperator

@Test
public void testExpandOperator()
                        throws Exception

Throws:

Exception

test_compare_uses_preprocessed_arguments

@Test
public void test_compare_uses_preprocessed_arguments()
                                              throws Exception

Throws:

Exception

poly_with_function_add_poly_with_function

@Test
public void poly_with_function_add_poly_with_function()
                                               throws ParseException

Throws:

ParseException

poly_with_function_add_poly_with_function2

@Test
public void poly_with_function_add_poly_with_function2()
                                                throws ParseException

Throws:

ParseException

testSub

@Test
public void testSub()
             throws Exception

Throws:

Exception

test_serialization_of_elements

@Test
public void test_serialization_of_elements()
                                    throws Exception

Throws:

Exception

PConstant_with_complex_int_value

@Test
public void PConstant_with_complex_int_value()
                                      throws Exception

Throws:

Exception

test_expandComplex

@Test
public void test_expandComplex()
                        throws JepException

Uses the ComplexFieldWithTotalOrder to allow simplification of polynomials with Currently failing test. To expand requires calling MutablePolynomial.add(PNodeI) this in turn requires calling PNodeI.compareTo(PNodeI) which needs to compare powers. But Complex numbers are not comparable, so a JepRuntimeException is thrown.

Throws:

JepException

test_ComplexTotalOrder

@Test
public void test_ComplexTotalOrder()
                            throws JepException

Throws:

JepException

test_rewrite_power_of_i

@Test
public void test_rewrite_power_of_i()
                             throws JepException

Users the ComplexPolynomialRewriter to rewrite powers of i.

Throws:

JepException

usingRationalField

@Test
public void usingRationalField()
                        throws Exception

Throws:

Exception

testBad1

@Tag("known-failure")
@Test
public void testBad1()
              throws Exception

Throws:

Exception

testBad2

@Tag("known-failure")
@Test
public void testBad2()
              throws Exception

Throws:

Exception

testBad3

@Tag("known-failure")
@Test
public void testBad3()
              throws Exception

Throws:

Exception

testBad4

@Tag("known-failure")
@Test
public void testBad4()
              throws Exception

Throws:

Exception

testBad5

@Tag("known-failure")
@Test
public void testBad5()
              throws Exception

Throws:

Exception

testBad6Works

@Test
public void testBad6Works()
                   throws Exception

Throws:

Exception

testBad7

@Tag("known-failure")
@Test
public void testBad7()
              throws Exception

Throws:

Exception