[Om] Can OpenMath-Objects be compared to another in terms of equality?

Fri, 22 Feb 2019 05:13:15 -0800

im actually interested in comparing two OpenMath-Objects with each other in terms of equality (despite being build a bit differently in XML) by using Java.

For example I want "x^2+2x-35=0" to be equal to "-35+2x+x^2=0".

So im wondering if there is a way to achieve this. I at least understand OpenMath as some sort of tree structure and thought there might be a way to compare them.

I already tried writing the expressions for those two equations, but ended up with no luck or good idea.

Equation 1: x^2+2x-35=0
<OMOBJ xmlns='http://www.openmath.org/OpenMath' version='2.0' cdbase='http://www.openmath.org/cd'>
    <OMA>
        <OMS cd='relation1' name='eq'/>
        <OMA>
            <OMS cd='arith1' name='minus'/>
            <OMA>
                <OMS cd='arith1' name='plus'/>
                <OMA>
                    <OMS cd='arith1' name='power'/>
                    <OMV name='x'/>
                    <OMI>
                        2
                    </OMI>
                </OMA>
                <OMA style='invisible'>
                    <OMS cd='arith1' name='times'/>
                    <OMI>
                        2
                    </OMI>
                    <OMV name='x'/>
                </OMA>
            </OMA>
            <OMI>
                35
            </OMI>
        </OMA>
        <OMI>
            0
        </OMI>
    </OMA>
</OMOBJ>

Equation 2: -35+2x+x^2
<OMOBJ xmlns='http://www.openmath.org/OpenMath' version='2.0' cdbase='http://www.openmath.org/cd'>
    <OMA>
        <OMS cd='relation1' name='eq'/>
        <OMA>
            <OMS cd='arith1' name='plus'/>
            <OMA>
                <OMS cd='arith1' name='unary_minus'/>
                <OMI>
                    35
                </OMI>
            </OMA>
            <OMA style='invisible'>
                <OMS cd='arith1' name='times'/>
                <OMI>
                    2
                </OMI>
                <OMV name='x'/>
            </OMA>
            <OMA>
                <OMS cd='arith1' name='power'/>
                <OMV name='x'/>
                <OMI>
                    2
                </OMI>
            </OMA>
        </OMA>
        <OMI>
            0
        </OMI>
    </OMA>
</OMOBJ>

Thank you for your time

Sincerely

Phu

_______________________________________________
Om mailing list
Om@openmath.org
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om

Reply via email to