Examples of jmathexpr.relation.Equality

jmathexpr.relation.Equality
The binary relation equality (=). @author Elemér Furka

        RealNumber r0d1 = R.create(0.1);
        RealNumber div = R.create(1.0/10);
        Subtraction diff = new Subtraction(r0d1, div);
        
        RealNumber zero = R.create(0.0);
        Equality zeroTest = new Equality(diff, zero);
        
        evaluated = zeroTest.evaluate();
        System.out.printf("%s : %s%n", zeroTest, evaluated);
        assertEquals(evaluated, TruthValue.True);
        
        Division division = new Division(R.create(10.0), R.create(2.0));
        System.out.printf("Division domain: %s%n", division.domain());

View Full Code Here

        
        evaluated = naturalExpr.evaluate();
        System.out.printf("%s = %s%n", naturalExpr, evaluated);        
        assertEquals(evaluated, N.create(42));
        
        Expression equality = new Equality(naturalExpr, N.create(42));
        evaluated = equality.evaluate();
        System.out.printf("%s : %s%n", equality, evaluated);
        assertEquals(evaluated, TruthValue.True);
                
        Expression elementOf = new ElementOf(naturalExpr, N);
        evaluated = elementOf.evaluate();

View Full Code Here

         */
        private class AdditionC extends SubRule {


            @Override
            public boolean matches(Expression expr) {
                return new Equality(new Addition(ax, b), c).matches(expr);
            }

View Full Code Here


            @Override
            public Expression apply() {
                ANumber term = (ANumber) b.hit();
                
                return new Equality(Sum.subtract(((Equality) target).lhs(), term),
                        Sum.subtract(((Equality) target).rhs(), term));
            }

View Full Code Here

         */
        private class SubtractionC extends SubRule {


            @Override
            public boolean matches(Expression expr) {
                return new Equality(new Subtraction(ax, b), c).matches(expr);
            }

View Full Code Here


            @Override
            public Expression apply() {
                Expression term = b.hit();
                
                return new Equality(Sum.add(((Equality) target).lhs(), term),
                        Sum.add(((Equality) target).rhs(), term));
            }

View Full Code Here

         */
        private class SubtractionX extends SubRule {


            @Override
            public boolean matches(Expression expr) {
                return new Equality(new Subtraction(b, ax), c).matches(expr);
            }

View Full Code Here


            @Override
            public Expression apply() {
                Expression var = ax.hit();
                
                return new Equality(Sum.add(((Equality) target).lhs(), var),
                        Sum.add(((Equality) target).rhs(), var));
            }

View Full Code Here

        public boolean matches(Expression expr) {
            target = expr;
            
            Expression ax = new Multiplication(a, x);


            boolean matches = new Equality(ax, b).matches(expr) || new Equality(b, ax).matches(expr);
            
            // Don't match the case x = b (a = 1)
            matches = matches && !a.hit().equals(Naturals.one());


            return matches;

View Full Code Here

        
        @Override
        public Expression apply() {
            Expression coef = a.hit();


            return new Equality(new Division(((Equality) target).lhs(), coef),
                    new Division(((Equality) target).rhs(), coef));
        }

View Full Code Here

0 1 2 3

TOP

Related Classes of jmathexpr.relation.Equality

jmathexpr.arithmetic.equation.AbsoluteValueEquation$Isolate$Addition

jmathexpr.arithmetic.equation.AbsoluteValueEquation$Isolate$Difference

jmathexpr.arithmetic.equation.Equation

jmathexpr.arithmetic.equation.LinearEquation$AxeB

jmathexpr.arithmetic.equation.LinearEquation$AxpBeC$AdditionC

jmathexpr.arithmetic.equation.LinearEquation$AxpBeC$SubtractionC

jmathexpr.arithmetic.equation.LinearEquation$AxpBeC$SubtractionX

jmathexpr.arithmetic.equation.LinearEquation$VariableOnBothSides

jmathexpr.arithmetic.equation.QuadraticEquation$Canonical

jmathexpr.arithmetic.equation.QuadraticEquation$Factor

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.