false
old (om2cmml) new (c2s)
====== Pass 1 (normalize non-strict bind) ======= ====== Pass 2 (Apply special case rules for operators using qualifiers idiomatically) ======= ====== Pass 3 (rewrite qualifiers as DOAs) ======= ====== Pass 4 (rewrite container markup, assuming all qualifiers have be rewritten to DOAs) ======= ====== Pass 5 (Apply rules for operators using DOA qualifiers) ======= ====== Pass 6 (Eliminate remaining domainofapplication) ======= ====== Pass 7 (deal with non-strict cn's, other non-strict tokens) ======= ====== Pass 8 (rewrite operator elements as csymbols ) ======= ====== Pass 9 (rewrite type, definitionURL, non-strict attributes ) ======= calculus1nthdiff fns1lambda calculus1diff fns1lambda calculus1partialdiffdegree list1list 1 arith1plus 1 fns1lambda calculus1defint interval1oriented_interval fns1lambda calculus1defint set1suchthat R fns1lambda logic1and fns1lambda calculus1int fns1lambda limit1limit limit1above limit1below limit1both_sides limit1null fns1lambda tendsto MathML-Content arith1sum arith1product interval1integer_interval fns1lambda arith1root integer2 transc1log integer10 s_dist1moment integer1 integer0 interval1interval interval1interval set1suchthat R fns1lambda logic1and set1intersection set1 list1 map fns1lambda set1set list1list interval1 interval_oo interval_cc interval_co interval_oc interval_cc linalg2 fns1lambda fns1restriction fns1lambda piece1piecewise piece1piece piece1otherwise set1map fns1lambda set1set quant1exists quant1forall logic1 and implies set1in quant1exists quant1forall logic1 and implies calculus1defint fns1lambda calculus1defint arith1sum arith1product fns1lambda fns1restriction fns2predicate_on_list list1map fns1lambda fns2apply_to_list list1map fns1lambda fns1lambda fns2predicate_on_list list1list nums1rational nums1bigfloat complex1complex_cartesian complex1complex_polar nums1 based_integer based_float integer nums1 pi e i gamma infinity MathML-Presentation MathML-Presentation linalg1matrix_selector linagl1vector_selector mathmltypes type MathML-Content mathmlattr text/plain mathmlattr foreign MathML-Content mathmlattrforeign_attribute true false true false true false true false true false - inverse fns1 inverse compose fns1 left_compose ident fns1 identity domain fns1 domain codomain fns1 range image fns1 image quotient integer1 quotient factorial integer1 factorial divide arith1 divide max minmax1 max min minmax1 min plus arith1 plus power arith1 power rem integer1 remainder times arith1 times root arith1 root gcd arith1 gcd and logic1 and or logic1 or xor logic1 xor not logic1 not implies logic1 implies abs arith1 abs conjugate complex1 conjugate arg complex1 argument real complex1 real imaginary complex1 imaginary lcm arith1 lcm floor rounding1 floor ceiling rounding1 ceiling eq relation1 eq neq relation1 neq gt relation1 gt lt relation1 lt geq relation1 geq leq relation1 leq equivalent logic1 equivalent approx relation1 approx factorof integer1 factorof diff calculus1 diff divergence veccalc1 divergence grad veccalc1 grad curl veccalc1 curl laplacian veccalc1 Laplacian set set1 set emptyset set1 emptyset union set1 union intersect set1 intersect in set1 in notin set1 notin subset set1 subset prsubset set1 prsubset notsubset set1 notsubset notprsubset set1 notprsubset cartesianproductset1 cartesian_product sum arith1 sum product arith1 product sin transc1 sin cos transc1 cos tan transc1 tan cot transc1 cot sec transc1 sec csc transc1 csc sinh transc1 sinh cosh transc1 cosh tanh transc1 tanh coth transc1 coth sech transc1 sech csch transc1 csch arcsin transc1 arcsin arccos transc1 arccos arctan transc1 arctan arccot transc1 arccot arcsec transc1 arcsec arccsc transc1 arccsc arcsinh transc1 arcsinh arccosh transc1 arccosh arctanh transc1 arctanh arccoth transc1 arccoth arcsech transc1 arcsech arccsch transc1 arccsch exp transc1 exp ln transc1 ln log transc1 log median s_data1 median mode s_data1 mode mean s_data1 mean sdev s_data1 sdev variance s_data1 variance setdiff set1 setdiff card set1 size determinant linalg1 determinant transpose linalg1 transpose vectorproduct linalg1 vectorproduct scalarproduct linalg1 scalarproduct outerproduct linalg1 outerproduct matrix_selector linalg1 matrix_selector selector linalg1 vector_selector integers setname1 Z reals setname1 R rationals setname1 Q naturalnumbers setname1 N complexes setname1 C primes setname1 P true logic1 true false logic1 false exponentiale nums1 e imaginaryi nums1 i notanumber nums1 NaN pi nums1 pi eulergamma nums1 gamma infinity nums1 infinity minus arith1minus unary_minus arith1unary_minus