From 7de63c7242f39d9d8392da9d00e1d1d2f2783410 Mon Sep 17 00:00:00 2001 From: Christian Perfect Date: Fri, 11 Apr 2014 10:22:52 +0100 Subject: [PATCH] add failing unit tests from wiki and try-ctop page --- tests/error-tests.js | 50 +- tests/errors.html | 3652 ----------------- tests/try-ctop.html | 25 + tests/try-ctop.js | 43 + tests/units/Maghreb1.html | 139 + tests/units/arccosh3.html | 54 + tests/units/arccsch3.html | 50 + tests/units/badAttribsVal3.html | 45 + tests/units/badBvar1.html | 151 + tests/units/complex4.html | 51 + tests/units/degree2.html | 53 + tests/units/divide3.html | 55 + tests/units/divide5.html | 58 + tests/units/emptyContent.html | 1084 +++++ tests/units/factorial3.html | 58 + tests/units/forall1.html | 81 + tests/units/geq2.html | 47 + tests/units/in2.html | 47 + tests/units/int1.html | 58 + tests/units/int2.html | 61 + tests/units/limit6.html | 71 + .../linebreaking006-linebreakmultchar.html | 108 + tests/units/linebreaking008-indentalign2.html | 226 + tests/units/linebreaking010-indentshift.html | 88 + tests/units/linebreaking011-indentamount.html | 89 + tests/units/linebreaking016-indentalign4.html | 99 + tests/units/logic7.html | 94 + tests/units/longdivision-rtl1.html | 60 + tests/units/matrix3.html | 47 + tests/units/max3.html | 85 + tests/units/min1.html | 79 + tests/units/minus1.html | 51 + tests/units/minus2.html | 51 + tests/units/minus9.html | 50 + tests/units/mrootE2.html | 52 + tests/units/neq2.html | 47 + tests/units/noChildContent.html | 240 ++ tests/units/notprsubset2.html | 47 + tests/units/notsubset2.html | 47 + tests/units/product1.html | 60 + tests/units/product2.html | 75 + tests/units/prsubset2.html | 47 + tests/units/rec-bvar1.html | 60 + tests/units/rec-bvar2.html | 75 + tests/units/rec-card1.html | 50 + tests/units/rec-cartesianproduct2.html | 48 + tests/units/rec-cerror1.html | 50 + tests/units/rec-curl1.html | 46 + tests/units/rec-degree1.html | 76 + tests/units/rec-diff2.html | 52 + tests/units/rec-divergence1.html | 46 + tests/units/rec-divergence2.html | 70 + tests/units/rec-equivalent1.html | 53 + tests/units/rec-forall4.html | 154 + tests/units/rec-grad1.html | 46 + tests/units/rec-image1.html | 54 + tests/units/rec-int4.html | 56 + tests/units/rec-interval2.html | 47 + tests/units/rec-lambda1.html | 56 + tests/units/rec-lambda2.html | 66 + tests/units/rec-laplacian1.html | 56 + tests/units/rec-matrix1.html | 63 + tests/units/rec-max2.html | 78 + tests/units/rec-min2.html | 79 + tests/units/rec-partialdiff3.html | 74 + tests/units/rec-partialdiff5.html | 57 + tests/units/rec-pi1.html | 49 + tests/units/rec-piecewise1.html | 58 + tests/units/rec-primes1.html | 52 + tests/units/rec-reln3.html | 53 + tests/units/rec-selector1.html | 59 + tests/units/rec-variance1.html | 46 + tests/units/rec-vectorproduct1.html | 60 + tests/units/rec3-share-1.html | 55 + tests/units/subset2.html | 47 + tests/units/union3.html | 51 + 76 files changed, 6058 insertions(+), 3659 deletions(-) delete mode 100644 tests/errors.html create mode 100644 tests/try-ctop.html create mode 100644 tests/try-ctop.js create mode 100644 tests/units/Maghreb1.html create mode 100644 tests/units/arccosh3.html create mode 100644 tests/units/arccsch3.html create mode 100644 tests/units/badAttribsVal3.html create mode 100644 tests/units/badBvar1.html create mode 100644 tests/units/complex4.html create mode 100644 tests/units/degree2.html create mode 100644 tests/units/divide3.html create mode 100644 tests/units/divide5.html create mode 100644 tests/units/emptyContent.html create mode 100644 tests/units/factorial3.html create mode 100644 tests/units/forall1.html create mode 100644 tests/units/geq2.html create mode 100644 tests/units/in2.html create mode 100644 tests/units/int1.html create mode 100644 tests/units/int2.html create mode 100644 tests/units/limit6.html create mode 100644 tests/units/linebreaking006-linebreakmultchar.html create mode 100644 tests/units/linebreaking008-indentalign2.html create mode 100644 tests/units/linebreaking010-indentshift.html create mode 100644 tests/units/linebreaking011-indentamount.html create mode 100644 tests/units/linebreaking016-indentalign4.html create mode 100644 tests/units/logic7.html create mode 100644 tests/units/longdivision-rtl1.html create mode 100644 tests/units/matrix3.html create mode 100644 tests/units/max3.html create mode 100644 tests/units/min1.html create mode 100644 tests/units/minus1.html create mode 100644 tests/units/minus2.html create mode 100644 tests/units/minus9.html create mode 100644 tests/units/mrootE2.html create mode 100644 tests/units/neq2.html create mode 100644 tests/units/noChildContent.html create mode 100644 tests/units/notprsubset2.html create mode 100644 tests/units/notsubset2.html create mode 100644 tests/units/product1.html create mode 100644 tests/units/product2.html create mode 100644 tests/units/prsubset2.html create mode 100644 tests/units/rec-bvar1.html create mode 100644 tests/units/rec-bvar2.html create mode 100644 tests/units/rec-card1.html create mode 100644 tests/units/rec-cartesianproduct2.html create mode 100644 tests/units/rec-cerror1.html create mode 100644 tests/units/rec-curl1.html create mode 100644 tests/units/rec-degree1.html create mode 100644 tests/units/rec-diff2.html create mode 100644 tests/units/rec-divergence1.html create mode 100644 tests/units/rec-divergence2.html create mode 100644 tests/units/rec-equivalent1.html create mode 100644 tests/units/rec-forall4.html create mode 100644 tests/units/rec-grad1.html create mode 100644 tests/units/rec-image1.html create mode 100644 tests/units/rec-int4.html create mode 100644 tests/units/rec-interval2.html create mode 100644 tests/units/rec-lambda1.html create mode 100644 tests/units/rec-lambda2.html create mode 100644 tests/units/rec-laplacian1.html create mode 100644 tests/units/rec-matrix1.html create mode 100644 tests/units/rec-max2.html create mode 100644 tests/units/rec-min2.html create mode 100644 tests/units/rec-partialdiff3.html create mode 100644 tests/units/rec-partialdiff5.html create mode 100644 tests/units/rec-pi1.html create mode 100644 tests/units/rec-piecewise1.html create mode 100644 tests/units/rec-primes1.html create mode 100644 tests/units/rec-reln3.html create mode 100644 tests/units/rec-selector1.html create mode 100644 tests/units/rec-variance1.html create mode 100644 tests/units/rec-vectorproduct1.html create mode 100644 tests/units/rec3-share-1.html create mode 100644 tests/units/subset2.html create mode 100644 tests/units/union3.html diff --git a/tests/error-tests.js b/tests/error-tests.js index 38cea67..89e9358 100644 --- a/tests/error-tests.js +++ b/tests/error-tests.js @@ -1,9 +1,45 @@ -CToP.transform(document.querySelectorAll('math')); +function formatXml(xml) { + var formatted = ''; + var reg = /(>)(<)(\/*)/g; + xml = xml.replace(reg, '$1\r\n$2$3'); + var pad = 0; + xml.split('\r\n').map(function(node,index) { + var indent = 0; + if (node.match( /.+<\/\w[^>]*>$/ )) { + indent = 0; + } else if (node.match( /^<\/\w/ )) { + if (pad != 0) { + pad -= 1; + } + } else if (node.match( /^<\w[^>]*[^\/]>.*$/ )) { + indent = 1; + } else { + indent = 0; + } + + var padding = ''; + for (var i = 0; i < pad; i++) { + padding += ' '; + } + + formatted += padding + node + '\r\n'; + pad += indent; + }); + + return formatted; +} + Array.prototype.map.call(document.querySelectorAll('.unit'),function(unit) { - var math = unit.querySelector('math').outerHTML; - var t = document.createElement('pre'); - t.textContent = math; - unit.appendChild(t); + try { + var mathNodes = unit.querySelectorAll('math'); + CToP.transform(mathNodes); + var math = unit.querySelector('math').outerHTML; + var t = document.createElement('pre'); + t.textContent = formatXml(math); + unit.appendChild(t); + MathJax.Hub.Queue(["Typeset",MathJax.Hub,unit]); + } + catch(e) { + console.log(e); + } }) - -MathJax.Hub.Queue(["Typeset",MathJax.Hub]); diff --git a/tests/errors.html b/tests/errors.html deleted file mode 100644 index 87d3c0c..0000000 --- a/tests/errors.html +++ /dev/null @@ -1,3652 +0,0 @@ - - - - - ctop errors - - -
-
Maghreb1
- - - - - د - ⁡ - - ( - س - ) - - - = - - { - - - - - - ∑ - - ٮ - = - 1 - - ص - - ⁡ - - س - ٮ - - - - - - إذاكان  - س - > - 0 - - - - - - - - ∫ - 1 - ص - - ⁡ - - - س - ٮ - - ⁢ - ء - ⁡ - س - - - - - - إذاكان  - س - ∈ - م - - - - - - - طا - ⁡ - π - - - - - غيرذلك  - - ( - مع - π - ≃ - 3,141 - ) - - - - - - - - -
-
longdivision-rtl1
- - - ١١ - ١٢٠ - - ١٣٢٠ - - ١١ - - - - - - - ٢٢ - - ٢٢ - - - - - - صفر -
-
linebreaking006-linebreakmultchar
- - - - a - ⁢ - b - ⁢ - ( - x - ⁢ - y - ⁢ - z - + - y - ⁢ - v - ⁢ - w - + - q - ⁢ - r - ⁢ - s - + - u - ⁢ - v - ) - - + - b - ⁢ - c - ⁢ - ( - x - ⁢ - y - ⁢ - z - + - y - ⁢ - v - + - c - ⁢ - d - ⁢ - - ( - a - ⁢ - b - ⁢ - c - + - u - ⁢ - v - ⁢ - w - ) - ) - - - -
-
linebreaking008-indentalign2
- - - - - - a - - - 1 - - - + - - - a - - - 2 - - - + - - - a - - - 3 - - - + - - - a - - - 4 - - - + - - - a - - - 5 - - - - + - - - - a - - - 6 - - - + - - - a - - - 7 - - - + - - - a - - - 8 - - - + - - - a - - - 9 - - - + - - - a - - - 10 - - - - + - - - a - - - 11 - - - + - - - a - - - 12 - - - + - - - a - - - 13 - - - + - - - a - - - 14 - - - + - - - a - - - 15 - - - + - - - a - - - 16 - - - + - - - a - - - 17 - - - + - - - a - - - 18 - - - + - - - a - - - 19 - - - + - - - a - - - 20 - - - - -
-
linebreaking010-indentshift
- - - - - a - b - ( - x - y - z - + - y - v - w - + - q - r - s - + - u - v - ) - + - b - c - ( - x - y - z - + - y - v - + - c - d - - ( - a - b - c - + - u - v - w - ) - ) - - - -
-
linebreaking011-indentamount
- - - - a - b - ( - x - y - z - + - y - v - w - - + - q - r - s - + - u - v - ) - - + - b - c - ( - x - y - z - + - y - v - + - c - d - - ( - a - b - c - + - u - v - w - ) - ) - - - -
-
linebreaking011-indentamount
- - - - a - b - ( - x - y - z - + - y - v - w - - + - q - r - s - + - u - v - ) - - + - b - c - ( - x - y - z - + - y - v - + - c - d - - ( - a - b - c - + - u - v - w - ) - ) - - - -
-
linebreaking016-indentalign4
- - - - - - x - - - 2 - - - + - - - 3 - - - y - - - 2 - - - + - - - 2 - x - − - 4 - y - − - 8 - = - 0 - - 3 - - - y - - - 2 - - - − - - - 2 - - - x - + - 2 - y - − - 2 - = - 0 - -
-
complex4
- - - - - a - - - b - c - - - -
-
divide5
- - - - - - - - - a - b - - - - a - b - - - - -
-
divide3
- - - - - - - a - b - - - - a - b - - - -
-
rec-pi1
- - - - - - 22 - 7 - - - -
-
arccosh3
- - - - - - - - - 5 - π - - 6 - - - -
-
arccsch3
- - - - - 1 - - - t - - - -
-
divide3
- - - - divide - - plus - a - b - - - divide - a - b - - - -
-
logic7
- - - - - - - - - - s - - - - - s - S - - - - - - - f - - x - - T - - - - - - - s - - - - - s - S - - - - - - - f - - s - - T - - - - -
-
max3
- - - - - - x - - - - - - - x - 0 - - - - x - 1 - - - - - - x - - - x - - - - -
-
minus1
- - - - - a - - - b - c - - - -
-
minus2
- - - - - a - - - b - c - - - -
-
minus9
- - - - - 7 - - - 1 - - - -
-
minus2
- - - - minus - a - - plus - b - c - - - -
-
rec-lambda1
- - - - - x - - - - - - x - 1 - - - - -
-
rec-lambda2
- - - - - b - - - - - x - - - a - - - b - - - - f - - x - - - - -
-
rec-lambda1
- - - - lambda - - x - - - sin - - plus - x - 1 - - - - -
-
rec-lambda2
- - - - lambda - - b - - - defint - - oriented_interval - a - b - - - lambda - - x - - - f - x - - - - - -
-
rec3-share-1
- - - - f - - f - - f - a - a - - - - - - -
-
rec-curl1
- - - - - a - - -
-
rec-degree1
- - - - - - x - - n - - - - y - - m - - - - - - - x - y - - - - -
-
rec-diff2
- - - - - - x - - - f - x - - - -
-
rec-divergence1
- - - - - a - - -
-
rec-grad1
- - - - - f - - -
-
rec-divergence2
- - - - - - V - - - - - V - 0 - - - - - - - - S - - a - - V - - - -
-
int1
- - - - - - x - - - - f - - x - - - -
-
int2
- - - - - - x - - - 0 - - - a - - - - a - x - - - -
-
rec-int4
- - - - - - x - - - a - b - - - - x - - - -
-
factorial3
- - - - - - - - - x - y - - - - - 2 - b - - - -
-
factorial3
- - - - - - - - - x - y - - - - - 2 - b - - - -
-
rec-cerror1
- - - - DivisionByZero - - divide - x - 0 - - - -
-
matrix3
- - - - - c - - - -
-
rec-vectorproduct1
- - - - - - - A - B - - - - a - b - - - θ - - N - - - -
-
rec-equivalent1
- - - - - a - - - - - a - - - - -
-
limit6
- - - - - - x - - - - - x - a - - - - - - - - - x - y - - - - - 2 - b - - - - -
-
geq2
- - - - - a - b - - -
-
neq2
- - - - - a - b - - -
-
product2
- - - - - - x - - - - - x - B - - - - - f - - x - - - -
-
in2
- - - - - x - R - - -
-
notprsubset2
- - - - - A - B - - -
-
notsubset2
- - - - - A - B - - -
-
prsubset2
- - - - - A - B - - -
-
subset2
- - - - - A - B - - -
-
rec-variance1
- - - - - X - - -
-
rec-cartesianproduct2
- - - - - - - - - -
-
union3
- - - - - - - A - φ - - A - - -
-
forall1
- - - - not - - forall - - s - - - implies - - in - s - - suchthat - R - - lambda - - s - - - in - s - S - - - - - - in - - f - x - - T - - - - - -
-
rec-forall4
- - - - forall - - n - - - implies - - in - n - - suchthat - R - - lambda - - n - - - and - - gt - n - 0 - - - in - n - Z - - - - - - - exists - - x - - - y - - - z - - - and - - in - x - y - z - - suchthat - R - - lambda - - x - - - y - - - z - - - and - - in - x - Z - - - in - y - Z - - - in - z - Z - - - - - - - eq - - plus - - power - x - n - - - power - y - n - - - - power - z - n - - - - - - - -
-
max3
- - - - max - - map - - lambda - - x - - - minus - x - - sin - x - - - - - suchthat - R - - lambda - - x - - - and - - gt - x - 0 - - - lt - x - 1 - - - - - - - -
-
rec-max2
- - - - max - - suchthat - R - - lambda - - x - - - and - - in - x - - B - - set - - - - - notin - x - - C - - set - - - - - - - - -
-
min1
- - - - min - - map - - lambda - - x - - - power - x - 2 - - - - suchthat - R - - lambda - - x - - - notin - x - - B - - set - - - - - - - - -
-
rec-min2
- - - - min - - map - - lambda - - x - - - power - x - 2 - - - - suchthat - R - - lambda - - x - - - notin - x - - B - - set - - - - - - - - -
-
rec-image1
- - - - eq - - image - sin - - - interval_cc - -1 - 1 - - - -
-
rec-interval2
- - - - interval_oc - a - b - - -
-
rec-piecewise1
- - - - piecewise - - piece - 0 - - lt - x - 0 - - - - otherwise - x - - - -
-
rec-reln3
- - - - predicate_on_list - lt - - list - a - b - c - 10 - - - -
-
rec3-share-1
- - - - f - - f - - f - a - a - - - - - - -
-
rec-bvar1
- - - - - nthdiff - 2 - - lambda - - x - - - power - x - 4 - - - - x - - -
-
rec-bvar2
- - - - defint - - suchthat - R - - lambda - - x - - - in - x - D - - - - - lambda - - x - - - - f - - fn - - - x - - - - -
-
degree2
- - - - moment - 3 - - 0 - - integer - - - X - - -
-
rec-degree1
- - - - - partialdiffdegree - - list - n - m - - - plus - n - m - - - lambda - - x - - - y - - - sin - - times - x - y - - - - - x - y - - -
-
rec-divergence2
- - - - limit - 0 - null - - lambda - - V - - - divide - - - int - - lambda - - S - - a - - - S - - V - - - - -
-
int1
- - - - - int - - lambda - - x - - - f - x - - - - x - - -
-
int2
- - - - defint - - oriented_interval - 0 - a - - - lambda - - x - - - plus - a - x - - - - -
-
rec-laplacian1
- - - - eq - - Laplacian - f - - - divergence - - grad - f - - - - -
-
rec-partialdiff3
- - - - - partialdiffdegree - - list - m - n - - k - - lambda - - x - - - y - - - - f - - fn - - - x - y - - - - x - y - - -
-
rec-partialdiff5
- - - - - - list - 1 - 1 - 3 - - - f - - fn - - - - -
-
rec-primes1
- - - - in - - 17 - - integer - - - P - - -
-
rec-matrix1
- - - - matrix - - matrixrow - 0 - 1 - 0 - - - matrixrow - 0 - 0 - 1 - - - matrixrow - 1 - 0 - 0 - - - -
-
rec-selector1
- - - - vector_selector - 1 - - matrix - - matrixrow - 1 - 2 - - - matrixrow - 3 - 4 - - - - -
-
product1
- - - - product - - integer_interval - a - b - - - lambda - - x - - - f - x - - - - -
-
product2
- - - - product - - suchthat - R - - lambda - - x - - - in - x - - B - - set - - - - - - - lambda - - x - - - f - x - - - - -
-
rec-card1
- - - - eq - - size - A - - 5 - - -
-
rec-cartesianproduct2
- - - - cartesian_product - R - R - R - - -
-
badAttribsVal3
- - - 2 - + - 5 - -
-
badBvar1
- - - - - - - correct: - - - - x - - - - - - correct w/ degree - - - - x - - 2 - - - - - - - missing <ci>: - - - - - - - - missing <ci> w/ degree: - - - - - 2 - - - - - - - 2 <ci>s - - - - x - y - - - - - - 2 w/ degree - - - - x - y - - 2 - - - - - - - <mi/>used - - - - x - - - - - - <mi/>used w/ degree - - - - x - - 2 - - - - - - - missing <ci>, 2 degrees - - - - - 4 - - - 2 - - - - - - -
-
emptyContent
- - - - - - inverse - - - - - - - - - - lt - - - - - - - - - - compose - - - - - - - - - - domain - - - - - - - - - - codomain - - - - - - - - - - image - - - - - - - - - - quotient - - - - - - - - - - factorial - - - - - - - - - - divide - - - - - - - - - - max - - - - - - - - - - min - - - - - - - - - - minus - - - - - - - - - - plus - - - - - - - - - - power - - - - - - - - - - rem - - - - - - - - - - times - - - - - - - - - - root - - - - - - - - - - gcd - - - - - - - - - - and - - - - - - - - - - or - - - - - - - - - - not - - - - - - - - - - xor - - - - - - - - - - implies - - - - - - - - - - forall - - - - - - - - - - exists - - - - - - - - - - abs - - - - - - - - - - conjugate - - - - - - - - - - arg - - - - - - - - - - real - - - - - - - - - - imaginary - - - - - - - - - - lcm - - - - - - - - - - floor - - - - - - - - - - ceiling - - - - - - - - - - eq - - - - - - - - - - neq - - - - - - - - - - gt - - - - - - - - - - lt - - - - - - - - - - geq - - - - - - - - - - leq - - - - - - - - - - equivalent - - - - - - - - - - approx - - - - - - - - - - factorof - - - - - - - - - - int - - - - - - - - - - diff - - - - - - - - - - partialdiff - - - - - - - - - - divergence - - - - - - - - - - grad - - - - - - - - - - curl - - - - - - - - - - laplacian - - - - - - - - - - union - - - - - - - - - - intersect - - - - - - - - - - in - - - - - - - - - - notin - - - - - - - - - - subset - - - - - - - - - - prsubset - - - - - - - - - - notsubset - - - - - - - - - - notprsubset - - - - - - - - - - setdiff - - - - - - - - - - card - - - - - - - - - - cartesianproduct - - - - - - - - - - sum - - - - - - - - - - product - - - - - - - - - - limit - - - - - - - - - - tendsto - - - - - - - - - - exp - - - - - - - - - - ln - - - - - - - - - - log - - - - - - - - - - sin - - - - - - - - - - cos - - - - - - - - - - tan - - - - - - - - - - sec - - - - - - - - - - csc - - - - - - - - - - cot - - - - - - - - - - sinh - - - - - - - - - - cosh - - - - - - - - - - tanh - - - - - - - - - - sech - - - - - - - - - - csch - - - - - - - - - - coth - - - - - - - - - - arcsin - - - - - - - - - - arccos - - - - - - - - - - arctan - - - - - - - - - - arcsec - - - - - - - - - - arccsc - - - - - - - - - - arccot - - - - - - - - - - arcsinh - - - - - - - - - - arccosh - - - - - - - - - - arctanh - - - - - - - - - - arcsech - - - - - - - - - - arccsch - - - - - - - - - - arccoth - - - - - - - - - - mean - - - - - - - - - - sdev - - - - - - - - - - variance - - - - - - - - - - median - - - - - - - - - - mode - - - - - - - - - - moment - - - - - - - - - - momentabout - - - - - - - - - - determinant - - - - - - - - - - transpose - - - - - - - - - - selector - - - - - - - - - - vectorproduct - - - - - - - - - - scalarproduct - - - - - - - - - - outerproduct - - - - - - - - - -
-
mrootE2
- - - - - 3 - x - 2 - - - 3 - - - -
-
noChildContent
- - - - - - apply - - - - - - - - reln - - - - - - - - fn - - - - - - - - interval - - - - - - - - condition - - - - - - - - declare - - - - - - - - lambda - - - - - - - - domainofapp - - - - - - - - piecewise - - - - - - - - piece - - - - - - - - otherwise - - - - - - - - lowlimit - - - - - - - - uplimit - - - - - - - - bvar - - - - - - - - degree - - - - - - - - set - - - - - - - - list - - - - - - - - moment - - - - - - - - momentabout - - - - - - - - vector - - - - - - - - matrix - - - - - - - - matrixrow - - - - - - - - - - semantics - - - - - - - - annotation - - - - - - - - - -
- - - - - - - - - diff --git a/tests/try-ctop.html b/tests/try-ctop.html new file mode 100644 index 0000000..6d58fc4 --- /dev/null +++ b/tests/try-ctop.html @@ -0,0 +1,25 @@ + + + + + try ctop + + + + +
+ 

+
+	
+	
+	
+	
+
+
+	
diff --git a/tests/try-ctop.js b/tests/try-ctop.js
new file mode 100644
index 0000000..b5e086d
--- /dev/null
+++ b/tests/try-ctop.js
@@ -0,0 +1,43 @@
+function formatXml(xml) {
+    var formatted = '';
+    var reg = /(>)(<)(\/*)/g;
+    xml = xml.replace(reg, '$1\r\n$2$3');
+    var pad = 0;
+    xml.split('\r\n').map(function(node,index) {
+        var indent = 0;
+        if (node.match( /.+<\/\w[^>]*>$/ )) {
+            indent = 0;
+        } else if (node.match( /^<\/\w/ )) {
+            if (pad != 0) {
+                pad -= 1;
+            }
+        } else if (node.match( /^<\w[^>]*[^\/]>.*$/ )) {
+            indent = 1;
+        } else {
+            indent = 0;
+        }
+ 
+        var padding = '';
+        for (var i = 0; i < pad; i++) {
+            padding += '  ';
+        }
+ 
+        formatted += padding + node + '\r\n';
+        pad += indent;
+    });
+ 
+    return formatted;
+}
+function doTransform() {
+	var content = document.querySelector('#content-mml').value;
+	var output = document.querySelector('#output');
+	output.innerHTML = content;
+	CToP.transform(output.querySelectorAll('math'));
+	var presentation = formatXml(output.innerHTML);
+	document.querySelector('#presentation-mml').textContent = presentation;
+	MathJax.Hub.Queue(['Typeset',MathJax.Hub,output]);
+}
+
+document.querySelector('#transform').onclick = doTransform;
+document.querySelector('#content-mml').onchange = doTransform;
+document.querySelector('#content-mml').onkeyup = doTransform;
diff --git a/tests/units/Maghreb1.html b/tests/units/Maghreb1.html
new file mode 100644
index 0000000..4fb8eb7
--- /dev/null
+++ b/tests/units/Maghreb1.html
@@ -0,0 +1,139 @@
+
+
+
+
+	
+	Maghreb1 - ctop errors
+
+
+	

+		
Maghreb1

+		
+		
+		  
+		    
+		      د 
+		      ⁡ 
+		      
+		        ( 
+		        س 
+		        ) 
+		       
+		     
+		    = 
+		    
+		      { 
+		      
+		        
+		          
+		            
+		              
+		                ∑ 
+		                
+		                  ٮ 
+		                  = 
+		                  1 
+		                 
+		                ص 
+		               
+		              ⁡ 
+		              
+		                س 
+		                ٮ 
+		               
+		             
+		           
+		          
+		            
+		              إذاكان  
+		              س 
+		              > 
+		              0 
+		             
+		           
+		         
+		        
+		          
+		            
+		              
+		                ∫ 
+		                1 
+		                ص 
+		               
+		              ⁡ 
+		              
+		                
+		                  س 
+		                  ٮ 
+		                 
+		                ⁢ 
+		                ء 
+		                ⁡ 
+		                س 
+		               
+		             
+		           
+		          
+		            
+		              إذاكان  
+		              س 
+		              ∈ 
+		              م 
+		             
+		           
+		         
+		        
+		          
+		            
+		              طا 
+		              ⁡ 
+		              π 
+		             
+		           
+		          
+		            
+		              غيرذلك  
+		              
+		                ( 
+		                مع 
+		                π 
+		                ≃ 
+		                3,141 
+		                ) 
+		               
+		             
+		           
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/arccosh3.html b/tests/units/arccosh3.html
new file mode 100644
index 0000000..241a833
--- /dev/null
+++ b/tests/units/arccosh3.html
@@ -0,0 +1,54 @@
+
+
+
+
+	
+	arccosh3 - ctop errors
+
+
+	

+		
arccosh3

+		
+		
+		  
+		     
+		    
+		       
+		      
+		         
+		        5 
+		        π 
+		       
+		      6 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/arccsch3.html b/tests/units/arccsch3.html
new file mode 100644
index 0000000..0697317
--- /dev/null
+++ b/tests/units/arccsch3.html
@@ -0,0 +1,50 @@
+
+
+
+
+	
+	arccsch3 - ctop errors
+
+
+	

+		
arccsch3

+		
+		
+		  
+		     
+		    1 
+		    
+		       
+		      t 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/badAttribsVal3.html b/tests/units/badAttribsVal3.html
new file mode 100644
index 0000000..6287568
--- /dev/null
+++ b/tests/units/badAttribsVal3.html
@@ -0,0 +1,45 @@
+
+
+
+
+	
+	badAttribsVal3 - ctop errors
+
+
+	

+		
badAttribsVal3

+		
+		
+		  2 
+		  + 
+		  5 
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/badBvar1.html b/tests/units/badBvar1.html
new file mode 100644
index 0000000..498d38d
--- /dev/null
+++ b/tests/units/badBvar1.html
@@ -0,0 +1,151 @@
+
+
+
+
+	
+	badBvar1 - ctop errors
+
+
+	

+		
badBvar1

+		
+		
+		
+		  
+		    
+		      
+		        correct: 
+		       
+		      
+		        
+		          x 
+		         
+		       
+		     
+		    
+		      
+		        correct w/ degree 
+		       
+		      
+		        
+		          x 
+		          
+		            2 
+		           
+		         
+		       
+		     
+		    
+		      
+		        missing <ci>: 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        missing <ci> w/ degree: 
+		       
+		      
+		        
+		          
+		            2 
+		           
+		         
+		       
+		     
+		    
+		      
+		        2 <ci>s 
+		       
+		      
+		        
+		          x 
+		          y 
+		         
+		       
+		     
+		    
+		      
+		        2 w/ degree 
+		       
+		      
+		        
+		          x 
+		          y 
+		          
+		            2 
+		           
+		         
+		       
+		     
+		    
+		      
+		        <mi/>used 
+		       
+		      
+		        
+		          x 
+		         
+		       
+		     
+		    
+		      
+		        <mi/>used w/ degree 
+		       
+		      
+		        
+		          x 
+		          
+		            2 
+		           
+		         
+		       
+		     
+		    
+		      
+		        missing <ci>, 2 degrees 
+		       
+		      
+		        
+		          
+		            4 
+		           
+		          
+		            2 
+		           
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/complex4.html b/tests/units/complex4.html
new file mode 100644
index 0000000..82c8c3d
--- /dev/null
+++ b/tests/units/complex4.html
@@ -0,0 +1,51 @@
+
+
+
+
+	
+	complex4 - ctop errors
+
+
+	

+		
complex4

+		
+		
+		  
+		     
+		    a 
+		    
+		       
+		      b 
+		      c 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/degree2.html b/tests/units/degree2.html
new file mode 100644
index 0000000..93bc235
--- /dev/null
+++ b/tests/units/degree2.html
@@ -0,0 +1,53 @@
+
+
+
+
+	
+	degree2 - ctop errors
+
+
+	

+		
degree2

+		
+		
+		  
+		    moment 
+		    3 
+		    
+		      0 
+		      
+		        integer 
+		       
+		     
+		    X 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/divide3.html b/tests/units/divide3.html
new file mode 100644
index 0000000..a2dc5e4
--- /dev/null
+++ b/tests/units/divide3.html
@@ -0,0 +1,55 @@
+
+
+
+
+	
+	divide3 - ctop errors
+
+
+	

+		
divide3

+		
+		
+		  
+		    divide 
+		    
+		      plus 
+		      a 
+		      b 
+		     
+		    
+		      divide 
+		      a 
+		      b 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/divide5.html b/tests/units/divide5.html
new file mode 100644
index 0000000..f15286a
--- /dev/null
+++ b/tests/units/divide5.html
@@ -0,0 +1,58 @@
+
+
+
+
+	
+	divide5 - ctop errors
+
+
+	

+		
divide5

+		
+		
+		  
+		     
+		    
+		       
+		      
+		         
+		        a 
+		        b 
+		       
+		      
+		         
+		        a 
+		        b 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/emptyContent.html b/tests/units/emptyContent.html
new file mode 100644
index 0000000..9618c80
--- /dev/null
+++ b/tests/units/emptyContent.html
@@ -0,0 +1,1084 @@
+
+
+
+
+	
+	emptyContent - ctop errors
+
+
+	

+		
emptyContent

+		
+		
+		  
+		    
+		      
+		        inverse 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        lt 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        compose 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        domain 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        codomain 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        image 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        quotient 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        factorial 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        divide 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        max 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        min 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        minus 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        plus 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        power 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        rem 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        times 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        root 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        gcd 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        and 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        or 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        not 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        xor 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        implies 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        forall 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        exists 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        abs 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        conjugate 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arg 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        real 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        imaginary 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        lcm 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        floor 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        ceiling 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        eq 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        neq 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        gt 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        lt 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        geq 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        leq 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        equivalent 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        approx 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        factorof 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        int 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        diff 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        partialdiff 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        divergence 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        grad 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        curl 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        laplacian 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        union 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        intersect 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        in 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        notin 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        subset 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        prsubset 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        notsubset 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        notprsubset 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        setdiff 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        card 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        cartesianproduct 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        sum 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        product 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        limit 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        tendsto 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        exp 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        ln 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        log 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        sin 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        cos 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        tan 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        sec 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        csc 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        cot 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        sinh 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        cosh 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        tanh 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        sech 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        csch 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        coth 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arcsin 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arccos 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arctan 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arcsec 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arccsc 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arccot 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arcsinh 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arccosh 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arctanh 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arcsech 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arccsch 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        arccoth 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        mean 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        sdev 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        variance 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        median 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        mode 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        moment 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        momentabout 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        determinant 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        transpose 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        selector 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        vectorproduct 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        scalarproduct 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        outerproduct 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/factorial3.html b/tests/units/factorial3.html
new file mode 100644
index 0000000..e9ddc63
--- /dev/null
+++ b/tests/units/factorial3.html
@@ -0,0 +1,58 @@
+
+
+
+
+	
+	factorial3 - ctop errors
+
+
+	

+		
factorial3

+		
+		
+		  
+		     
+		    
+		       
+		      
+		         
+		        x 
+		        y 
+		       
+		     
+		    
+		       
+		      2 
+		      b 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/forall1.html b/tests/units/forall1.html
new file mode 100644
index 0000000..ac0d445
--- /dev/null
+++ b/tests/units/forall1.html
@@ -0,0 +1,81 @@
+
+
+
+
+	
+	forall1 - ctop errors
+
+
+	

+		
forall1

+		
+		
+		  
+		    not 
+		    
+		      forall 
+		      
+		        s 
+		       
+		      
+		        implies 
+		        
+		          in 
+		          s 
+		          
+		            suchthat 
+		            R 
+		            
+		              lambda 
+		              
+		                s 
+		               
+		              
+		                in 
+		                s 
+		                S 
+		               
+		             
+		           
+		         
+		        
+		          in 
+		          
+		            f 
+		            x 
+		           
+		          T 
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/geq2.html b/tests/units/geq2.html
new file mode 100644
index 0000000..5628dc3
--- /dev/null
+++ b/tests/units/geq2.html
@@ -0,0 +1,47 @@
+
+
+
+
+	
+	geq2 - ctop errors
+
+
+	

+		
geq2

+		
+		
+		  
+		     
+		    a 
+		    b 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/in2.html b/tests/units/in2.html
new file mode 100644
index 0000000..f6821a0
--- /dev/null
+++ b/tests/units/in2.html
@@ -0,0 +1,47 @@
+
+
+
+
+	
+	in2 - ctop errors
+
+
+	

+		
in2

+		
+		
+		  
+		     
+		    x 
+		    R 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/int1.html b/tests/units/int1.html
new file mode 100644
index 0000000..71e88c5
--- /dev/null
+++ b/tests/units/int1.html
@@ -0,0 +1,58 @@
+
+
+
+
+	
+	int1 - ctop errors
+
+
+	

+		
int1

+		
+		
+		  
+		    
+		      int 
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          f 
+		          x 
+		         
+		       
+		     
+		    x 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/int2.html b/tests/units/int2.html
new file mode 100644
index 0000000..b19df4b
--- /dev/null
+++ b/tests/units/int2.html
@@ -0,0 +1,61 @@
+
+
+
+
+	
+	int2 - ctop errors
+
+
+	

+		
int2

+		
+		
+		  
+		    defint 
+		    
+		      oriented_interval 
+		      0 
+		      a 
+		     
+		    
+		      lambda 
+		      
+		        x 
+		       
+		      
+		        plus 
+		        a 
+		        x 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/limit6.html b/tests/units/limit6.html
new file mode 100644
index 0000000..24b7073
--- /dev/null
+++ b/tests/units/limit6.html
@@ -0,0 +1,71 @@
+
+
+
+
+	
+	limit6 - ctop errors
+
+
+	

+		
limit6

+		
+		
+		  
+		     
+		    
+		      x 
+		     
+		    
+		      
+		         
+		        x 
+		        a 
+		       
+		     
+		    
+		       
+		      
+		         
+		        
+		           
+		          x 
+		          y 
+		         
+		       
+		      
+		         
+		        2 
+		        b 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/linebreaking006-linebreakmultchar.html b/tests/units/linebreaking006-linebreakmultchar.html
new file mode 100644
index 0000000..928d637
--- /dev/null
+++ b/tests/units/linebreaking006-linebreakmultchar.html
@@ -0,0 +1,108 @@
+
+
+
+
+	
+	linebreaking006-linebreakmultchar - ctop errors
+
+
+	

+		
linebreaking006-linebreakmultchar

+		
+		
+		  
+		    a 
+		    ⁢ 
+		    b 
+		    ⁢ 
+		    ( 
+		    x 
+		    ⁢ 
+		    y 
+		    ⁢ 
+		    z 
+		    + 
+		    y 
+		    ⁢ 
+		    v 
+		    ⁢ 
+		    w 
+		    + 
+		    q 
+		    ⁢ 
+		    r 
+		    ⁢ 
+		    s 
+		    + 
+		    u 
+		    ⁢ 
+		    v 
+		    ) 
+		    
+		      + 
+		      b 
+		      ⁢ 
+		      c 
+		      ⁢ 
+		      ( 
+		      x 
+		      ⁢ 
+		      y 
+		      ⁢ 
+		      z 
+		      + 
+		      y 
+		      ⁢ 
+		      v 
+		      + 
+		      c 
+		      ⁢ 
+		      d 
+		      ⁢ 
+		      
+		        ( 
+		        a 
+		        ⁢ 
+		        b 
+		        ⁢ 
+		        c 
+		        + 
+		        u 
+		        ⁢ 
+		        v 
+		        ⁢ 
+		        w 
+		        ) 
+		        ) 
+		       
+		     
+		   
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/linebreaking008-indentalign2.html b/tests/units/linebreaking008-indentalign2.html
new file mode 100644
index 0000000..7fd099a
--- /dev/null
+++ b/tests/units/linebreaking008-indentalign2.html
@@ -0,0 +1,226 @@
+
+
+
+
+	
+	linebreaking008-indentalign2 - ctop errors
+
+
+	

+		
linebreaking008-indentalign2

+		
+		
+		  
+		    
+		      
+		        a 
+		       
+		      
+		        1 
+		       
+		     
+		    + 
+		    
+		      
+		        a 
+		       
+		      
+		        2 
+		       
+		     
+		    + 
+		    
+		      
+		        a 
+		       
+		      
+		        3 
+		       
+		     
+		    + 
+		    
+		      
+		        a 
+		       
+		      
+		        4 
+		       
+		     
+		    + 
+		    
+		      
+		        a 
+		       
+		      
+		        5 
+		       
+		     
+		     
+		    + 
+		    
+		      
+		        
+		          a 
+		         
+		        
+		          6 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          7 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          8 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          9 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          10 
+		         
+		       
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          11 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          12 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          13 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          14 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          15 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          16 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          17 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          18 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          19 
+		         
+		       
+		      + 
+		      
+		        
+		          a 
+		         
+		        
+		          20 
+		         
+		       
+		     
+		   
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/linebreaking010-indentshift.html b/tests/units/linebreaking010-indentshift.html
new file mode 100644
index 0000000..e85f152
--- /dev/null
+++ b/tests/units/linebreaking010-indentshift.html
@@ -0,0 +1,88 @@
+
+
+
+
+	
+	linebreaking010-indentshift - ctop errors
+
+
+	

+		
linebreaking010-indentshift

+		
+		
+		  
+		    
+		      a 
+		      b 
+		      ( 
+		      x 
+		      y 
+		      z 
+		      + 
+		      y 
+		      v 
+		      w 
+		      + 
+		      q 
+		      r 
+		      s 
+		      + 
+		      u 
+		      v 
+		      ) 
+		      + 
+		      b 
+		      c 
+		      ( 
+		      x 
+		      y 
+		      z 
+		      + 
+		      y 
+		      v 
+		      + 
+		      c 
+		      d 
+		      
+		        ( 
+		        a 
+		        b 
+		        c 
+		        + 
+		        u 
+		        v 
+		        w 
+		        ) 
+		        ) 
+		       
+		     
+		   
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/linebreaking011-indentamount.html b/tests/units/linebreaking011-indentamount.html
new file mode 100644
index 0000000..836ee27
--- /dev/null
+++ b/tests/units/linebreaking011-indentamount.html
@@ -0,0 +1,89 @@
+
+
+
+
+	
+	linebreaking011-indentamount - ctop errors
+
+
+	

+		
linebreaking011-indentamount

+		
+		
+		  
+		    a 
+		    b 
+		    ( 
+		    x 
+		    y 
+		    z 
+		    + 
+		    y 
+		    v 
+		    w 
+		     
+		    + 
+		    q 
+		    r 
+		    s 
+		    + 
+		    u 
+		    v 
+		    ) 
+		    
+		      + 
+		      b 
+		      c 
+		      ( 
+		      x 
+		      y 
+		      z 
+		      + 
+		      y 
+		      v 
+		      + 
+		      c 
+		      d 
+		      
+		        ( 
+		        a 
+		        b 
+		        c 
+		        + 
+		        u 
+		        v 
+		        w 
+		        ) 
+		        ) 
+		       
+		     
+		   
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/linebreaking016-indentalign4.html b/tests/units/linebreaking016-indentalign4.html
new file mode 100644
index 0000000..d085bf9
--- /dev/null
+++ b/tests/units/linebreaking016-indentalign4.html
@@ -0,0 +1,99 @@
+
+
+
+
+	
+	linebreaking016-indentalign4 - ctop errors
+
+
+	

+		
linebreaking016-indentalign4

+		
+		
+		  
+		    
+		      
+		        x 
+		       
+		      
+		        2 
+		       
+		     
+		    + 
+		    
+		      
+		        3 
+		        
+		          
+		            y 
+		           
+		          
+		            2 
+		           
+		         
+		        + 
+		       
+		     
+		    2 
+		    x 
+		    − 
+		    4 
+		    y 
+		    − 
+		    8 
+		    = 
+		    0 
+		     
+		    3 
+		    
+		      
+		        y 
+		       
+		      
+		        2 
+		       
+		     
+		    − 
+		    
+		      
+		        2 
+		       
+		     
+		    x 
+		    + 
+		    2 
+		    y 
+		    − 
+		    2 
+		    = 
+		    0 
+		   
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/logic7.html b/tests/units/logic7.html
new file mode 100644
index 0000000..abdb831
--- /dev/null
+++ b/tests/units/logic7.html
@@ -0,0 +1,94 @@
+
+
+
+
+	
+	logic7 - ctop errors
+
+
+	

+		
logic7

+		
+		
+		  
+		     
+		    
+		       
+		      
+		         
+		        
+		          s 
+		         
+		        
+		          
+		             
+		            s 
+		            S 
+		           
+		         
+		        
+		           
+		          
+		            
+		              f 
+		             
+		            x 
+		           
+		          T 
+		         
+		       
+		     
+		    
+		       
+		      
+		        s 
+		       
+		      
+		        
+		           
+		          s 
+		          S 
+		         
+		       
+		      
+		         
+		        
+		          
+		            f 
+		           
+		          s 
+		         
+		        T 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/longdivision-rtl1.html b/tests/units/longdivision-rtl1.html
new file mode 100644
index 0000000..9079afb
--- /dev/null
+++ b/tests/units/longdivision-rtl1.html
@@ -0,0 +1,60 @@
+
+
+
+
+	
+	longdivision-rtl1 - ctop errors
+
+
+	

+		
longdivision-rtl1

+		
+		  
+		    ١١ 
+		    ١٢٠ 
+		    
+		      ١٣٢٠ 
+		      
+		        ١١ 
+		        - 
+		       
+		     
+		     
+		    
+		      ٢٢ 
+		      
+		        ٢٢
+		        - 
+		       
+		       
+		     
+		    صفر    
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/matrix3.html b/tests/units/matrix3.html
new file mode 100644
index 0000000..b564dd6
--- /dev/null
+++ b/tests/units/matrix3.html
@@ -0,0 +1,47 @@
+
+
+
+
+	
+	matrix3 - ctop errors
+
+
+	

+		
matrix3

+		
+		
+		  
+		    
+		      c 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/max3.html b/tests/units/max3.html
new file mode 100644
index 0000000..fbb1c85
--- /dev/null
+++ b/tests/units/max3.html
@@ -0,0 +1,85 @@
+
+
+
+
+	
+	max3 - ctop errors
+
+
+	

+		
max3

+		
+		
+		  
+		    max 
+		    
+		      map 
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          minus 
+		          x 
+		          
+		            sin 
+		            x 
+		           
+		         
+		       
+		      
+		        suchthat 
+		        R 
+		        
+		          lambda 
+		          
+		            x 
+		           
+		          
+		            and 
+		            
+		              gt 
+		              x 
+		              0 
+		             
+		            
+		              lt 
+		              x 
+		              1 
+		             
+		           
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/min1.html b/tests/units/min1.html
new file mode 100644
index 0000000..7f48ae3
--- /dev/null
+++ b/tests/units/min1.html
@@ -0,0 +1,79 @@
+
+
+
+
+	
+	min1 - ctop errors
+
+
+	

+		
min1

+		
+		
+		  
+		    min 
+		    
+		      map 
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          power 
+		          x 
+		          2 
+		         
+		       
+		      
+		        suchthat 
+		        R 
+		        
+		          lambda 
+		          
+		            x 
+		           
+		          
+		            notin 
+		            x 
+		            
+		              B 
+		              
+		                set 
+		               
+		             
+		           
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/minus1.html b/tests/units/minus1.html
new file mode 100644
index 0000000..0e006ad
--- /dev/null
+++ b/tests/units/minus1.html
@@ -0,0 +1,51 @@
+
+
+
+
+	
+	minus1 - ctop errors
+
+
+	

+		
minus1

+		
+		
+		  
+		     
+		    a 
+		    
+		       
+		      b 
+		      c 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/minus2.html b/tests/units/minus2.html
new file mode 100644
index 0000000..3fd99c1
--- /dev/null
+++ b/tests/units/minus2.html
@@ -0,0 +1,51 @@
+
+
+
+
+	
+	minus2 - ctop errors
+
+
+	

+		
minus2

+		
+		
+		  
+		    minus 
+		    a 
+		    
+		      plus 
+		      b 
+		      c 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/minus9.html b/tests/units/minus9.html
new file mode 100644
index 0000000..3cfd0c7
--- /dev/null
+++ b/tests/units/minus9.html
@@ -0,0 +1,50 @@
+
+
+
+
+	
+	minus9 - ctop errors
+
+
+	

+		
minus9

+		
+		
+		  
+		     
+		    7 
+		    
+		       
+		      1 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/mrootE2.html b/tests/units/mrootE2.html
new file mode 100644
index 0000000..2a0b82a
--- /dev/null
+++ b/tests/units/mrootE2.html
@@ -0,0 +1,52 @@
+
+
+
+
+	
+	mrootE2 - ctop errors
+
+
+	

+		
mrootE2

+		
+		
+		  
+		    
+		      3 
+		      x 
+		      2 
+		     
+		    
+		      3 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/neq2.html b/tests/units/neq2.html
new file mode 100644
index 0000000..4627586
--- /dev/null
+++ b/tests/units/neq2.html
@@ -0,0 +1,47 @@
+
+
+
+
+	
+	neq2 - ctop errors
+
+
+	

+		
neq2

+		
+		
+		  
+		     
+		    a 
+		    b 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/noChildContent.html b/tests/units/noChildContent.html
new file mode 100644
index 0000000..11e252f
--- /dev/null
+++ b/tests/units/noChildContent.html
@@ -0,0 +1,240 @@
+
+
+
+
+	
+	noChildContent - ctop errors
+
+
+	

+		
noChildContent

+		
+		
+		  
+		    
+		      
+		        apply 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        reln 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        fn 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        interval 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        condition 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        declare 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        lambda 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        domainofapp 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        piecewise 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        piece 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        otherwise 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        lowlimit 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        uplimit 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        bvar 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        degree 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        set 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        list 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        moment 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        momentabout 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        vector 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        matrix 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        matrixrow 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		    
+		      
+		        semantics 
+		       
+		      
+		         
+		       
+		     
+		    
+		      
+		        annotation 
+		       
+		      
+		        
+		           
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/notprsubset2.html b/tests/units/notprsubset2.html
new file mode 100644
index 0000000..f9d2f88
--- /dev/null
+++ b/tests/units/notprsubset2.html
@@ -0,0 +1,47 @@
+
+
+
+
+	
+	notprsubset2 - ctop errors
+
+
+	

+		
notprsubset2

+		
+		
+		  
+		     
+		    A 
+		    B 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/notsubset2.html b/tests/units/notsubset2.html
new file mode 100644
index 0000000..49cd585
--- /dev/null
+++ b/tests/units/notsubset2.html
@@ -0,0 +1,47 @@
+
+
+
+
+	
+	notsubset2 - ctop errors
+
+
+	

+		
notsubset2

+		
+		
+		  
+		     
+		    A 
+		    B 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/product1.html b/tests/units/product1.html
new file mode 100644
index 0000000..18c018e
--- /dev/null
+++ b/tests/units/product1.html
@@ -0,0 +1,60 @@
+
+
+
+
+	
+	product1 - ctop errors
+
+
+	

+		
product1

+		
+		
+		  
+		    product 
+		    
+		      integer_interval 
+		      a 
+		      b 
+		     
+		    
+		      lambda 
+		      
+		        x 
+		       
+		      
+		        f 
+		        x 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/product2.html b/tests/units/product2.html
new file mode 100644
index 0000000..e48530d
--- /dev/null
+++ b/tests/units/product2.html
@@ -0,0 +1,75 @@
+
+
+
+
+	
+	product2 - ctop errors
+
+
+	

+		
product2

+		
+		
+		  
+		    product 
+		    
+		      suchthat 
+		      R 
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          in 
+		          x 
+		          
+		            B 
+		            
+		              set 
+		             
+		           
+		         
+		       
+		     
+		    
+		      lambda 
+		      
+		        x 
+		       
+		      
+		        f 
+		        x 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/prsubset2.html b/tests/units/prsubset2.html
new file mode 100644
index 0000000..95c4423
--- /dev/null
+++ b/tests/units/prsubset2.html
@@ -0,0 +1,47 @@
+
+
+
+
+	
+	prsubset2 - ctop errors
+
+
+	

+		
prsubset2

+		
+		
+		  
+		     
+		    A 
+		    B 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-bvar1.html b/tests/units/rec-bvar1.html
new file mode 100644
index 0000000..c23c595
--- /dev/null
+++ b/tests/units/rec-bvar1.html
@@ -0,0 +1,60 @@
+
+
+
+
+	
+	rec-bvar1 - ctop errors
+
+
+	

+		
rec-bvar1

+		
+		
+		  
+		    
+		      nthdiff 
+		      2 
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          power 
+		          x 
+		          4 
+		         
+		       
+		     
+		    x 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-bvar2.html b/tests/units/rec-bvar2.html
new file mode 100644
index 0000000..1eb11a1
--- /dev/null
+++ b/tests/units/rec-bvar2.html
@@ -0,0 +1,75 @@
+
+
+
+
+	
+	rec-bvar2 - ctop errors
+
+
+	

+		
rec-bvar2

+		
+		
+		  
+		    defint 
+		    
+		      suchthat 
+		      R 
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          in 
+		          x 
+		          D 
+		         
+		       
+		     
+		    
+		      lambda 
+		      
+		        x 
+		       
+		      
+		        
+		          f 
+		          
+		            fn 
+		           
+		         
+		        x 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-card1.html b/tests/units/rec-card1.html
new file mode 100644
index 0000000..65e54d0
--- /dev/null
+++ b/tests/units/rec-card1.html
@@ -0,0 +1,50 @@
+
+
+
+
+	
+	rec-card1 - ctop errors
+
+
+	

+		
rec-card1

+		
+		
+		  
+		    eq 
+		    
+		      size 
+		      A 
+		     
+		    5 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-cartesianproduct2.html b/tests/units/rec-cartesianproduct2.html
new file mode 100644
index 0000000..cc6546f
--- /dev/null
+++ b/tests/units/rec-cartesianproduct2.html
@@ -0,0 +1,48 @@
+
+
+
+
+	
+	rec-cartesianproduct2 - ctop errors
+
+
+	

+		
rec-cartesianproduct2

+		
+		
+		  
+		    cartesian_product 
+		    R 
+		    R 
+		    R 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-cerror1.html b/tests/units/rec-cerror1.html
new file mode 100644
index 0000000..9347c0b
--- /dev/null
+++ b/tests/units/rec-cerror1.html
@@ -0,0 +1,50 @@
+
+
+
+
+	
+	rec-cerror1 - ctop errors
+
+
+	

+		
rec-cerror1

+		
+		
+		  
+		    DivisionByZero 
+		    
+		      divide
+		      x
+		      0
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-curl1.html b/tests/units/rec-curl1.html
new file mode 100644
index 0000000..2c4fada
--- /dev/null
+++ b/tests/units/rec-curl1.html
@@ -0,0 +1,46 @@
+
+
+
+
+	
+	rec-curl1 - ctop errors
+
+
+	

+		
rec-curl1

+		
+		
+		  
+		     
+		    a 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-degree1.html b/tests/units/rec-degree1.html
new file mode 100644
index 0000000..5631150
--- /dev/null
+++ b/tests/units/rec-degree1.html
@@ -0,0 +1,76 @@
+
+
+
+
+	
+	rec-degree1 - ctop errors
+
+
+	

+		
rec-degree1

+		
+		
+		  
+		    
+		      partialdiffdegree 
+		      
+		        list 
+		        n 
+		        m 
+		       
+		      
+		        plus 
+		        n 
+		        m 
+		       
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          y 
+		         
+		        
+		          sin 
+		          
+		            times 
+		            x 
+		            y 
+		           
+		         
+		       
+		     
+		    x 
+		    y 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-diff2.html b/tests/units/rec-diff2.html
new file mode 100644
index 0000000..f5f9f89
--- /dev/null
+++ b/tests/units/rec-diff2.html
@@ -0,0 +1,52 @@
+
+
+
+
+	
+	rec-diff2 - ctop errors
+
+
+	

+		
rec-diff2

+		
+		
+		  
+		     
+		    
+		      x 
+		     
+		    
+		      f 
+		      x 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-divergence1.html b/tests/units/rec-divergence1.html
new file mode 100644
index 0000000..cb9e83f
--- /dev/null
+++ b/tests/units/rec-divergence1.html
@@ -0,0 +1,46 @@
+
+
+
+
+	
+	rec-divergence1 - ctop errors
+
+
+	

+		
rec-divergence1

+		
+		
+		  
+		     
+		    a 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-divergence2.html b/tests/units/rec-divergence2.html
new file mode 100644
index 0000000..8890aed
--- /dev/null
+++ b/tests/units/rec-divergence2.html
@@ -0,0 +1,70 @@
+
+
+
+
+	
+	rec-divergence2 - ctop errors
+
+
+	

+		
rec-divergence2

+		
+		
+		  
+		    limit 
+		    0 
+		    null 
+		    
+		      lambda 
+		      
+		        V 
+		       
+		      
+		        divide 
+		        
+		          
+		            int 
+		            
+		              lambda 
+		              
+		                S 
+		               
+		              a 
+		             
+		           
+		          S 
+		         
+		        V 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-equivalent1.html b/tests/units/rec-equivalent1.html
new file mode 100644
index 0000000..91bec8c
--- /dev/null
+++ b/tests/units/rec-equivalent1.html
@@ -0,0 +1,53 @@
+
+
+
+
+	
+	rec-equivalent1 - ctop errors
+
+
+	

+		
rec-equivalent1

+		
+		
+		  
+		     
+		    a 
+		    
+		       
+		      
+		         
+		        a 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-forall4.html b/tests/units/rec-forall4.html
new file mode 100644
index 0000000..0b091e7
--- /dev/null
+++ b/tests/units/rec-forall4.html
@@ -0,0 +1,154 @@
+
+
+
+
+	
+	rec-forall4 - ctop errors
+
+
+	

+		
rec-forall4

+		
+		
+		  
+		    forall 
+		    
+		      n 
+		     
+		    
+		      implies 
+		      
+		        in 
+		        n 
+		        
+		          suchthat 
+		          R 
+		          
+		            lambda 
+		            
+		              n 
+		             
+		            
+		              and 
+		              
+		                gt 
+		                n 
+		                0 
+		               
+		              
+		                in 
+		                n 
+		                Z 
+		               
+		             
+		           
+		         
+		       
+		      
+		        exists 
+		        
+		          x 
+		         
+		        
+		          y 
+		         
+		        
+		          z 
+		         
+		        
+		          and 
+		          
+		            in 
+		            x 
+		            y 
+		            z 
+		            
+		              suchthat 
+		              R 
+		              
+		                lambda 
+		                
+		                  x 
+		                 
+		                
+		                  y 
+		                 
+		                
+		                  z 
+		                 
+		                
+		                  and 
+		                  
+		                    in 
+		                    x 
+		                    Z 
+		                   
+		                  
+		                    in 
+		                    y 
+		                    Z 
+		                   
+		                  
+		                    in 
+		                    z 
+		                    Z 
+		                   
+		                 
+		               
+		             
+		           
+		          
+		            eq 
+		            
+		              plus 
+		              
+		                power 
+		                x 
+		                n 
+		               
+		              
+		                power 
+		                y 
+		                n 
+		               
+		             
+		            
+		              power 
+		              z 
+		              n 
+		             
+		           
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-grad1.html b/tests/units/rec-grad1.html
new file mode 100644
index 0000000..45319ff
--- /dev/null
+++ b/tests/units/rec-grad1.html
@@ -0,0 +1,46 @@
+
+
+
+
+	
+	rec-grad1 - ctop errors
+
+
+	

+		
rec-grad1

+		
+		
+		  
+		     
+		    f 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-image1.html b/tests/units/rec-image1.html
new file mode 100644
index 0000000..1d53c62
--- /dev/null
+++ b/tests/units/rec-image1.html
@@ -0,0 +1,54 @@
+
+
+
+
+	
+	rec-image1 - ctop errors
+
+
+	

+		
rec-image1

+		
+		
+		  
+		    eq 
+		    
+		      image 
+		      sin 
+		     
+		    
+		      interval_cc 
+		      -1 
+		      1 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-int4.html b/tests/units/rec-int4.html
new file mode 100644
index 0000000..75da70f
--- /dev/null
+++ b/tests/units/rec-int4.html
@@ -0,0 +1,56 @@
+
+
+
+
+	
+	rec-int4 - ctop errors
+
+
+	

+		
rec-int4

+		
+		
+		  
+		     
+		    
+		      x 
+		     
+		    
+		      a 
+		      b 
+		     
+		    
+		       
+		      x 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-interval2.html b/tests/units/rec-interval2.html
new file mode 100644
index 0000000..e48a938
--- /dev/null
+++ b/tests/units/rec-interval2.html
@@ -0,0 +1,47 @@
+
+
+
+
+	
+	rec-interval2 - ctop errors
+
+
+	

+		
rec-interval2

+		
+		
+		  
+		    interval_oc 
+		    a 
+		    b 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-lambda1.html b/tests/units/rec-lambda1.html
new file mode 100644
index 0000000..11c3d4c
--- /dev/null
+++ b/tests/units/rec-lambda1.html
@@ -0,0 +1,56 @@
+
+
+
+
+	
+	rec-lambda1 - ctop errors
+
+
+	

+		
rec-lambda1

+		
+		
+		  
+		    lambda 
+		    
+		      x 
+		     
+		    
+		      sin 
+		      
+		        plus 
+		        x 
+		        1 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-lambda2.html b/tests/units/rec-lambda2.html
new file mode 100644
index 0000000..4e722f8
--- /dev/null
+++ b/tests/units/rec-lambda2.html
@@ -0,0 +1,66 @@
+
+
+
+
+	
+	rec-lambda2 - ctop errors
+
+
+	

+		
rec-lambda2

+		
+		
+		  
+		    lambda 
+		    
+		      b 
+		     
+		    
+		      defint 
+		      
+		        oriented_interval 
+		        a 
+		        b 
+		       
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          f 
+		          x 
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-laplacian1.html b/tests/units/rec-laplacian1.html
new file mode 100644
index 0000000..5321bc6
--- /dev/null
+++ b/tests/units/rec-laplacian1.html
@@ -0,0 +1,56 @@
+
+
+
+
+	
+	rec-laplacian1 - ctop errors
+
+
+	

+		
rec-laplacian1

+		
+		
+		  
+		    eq 
+		    
+		      Laplacian 
+		      f 
+		     
+		    
+		      divergence 
+		      
+		        grad 
+		        f 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-matrix1.html b/tests/units/rec-matrix1.html
new file mode 100644
index 0000000..feb7b14
--- /dev/null
+++ b/tests/units/rec-matrix1.html
@@ -0,0 +1,63 @@
+
+
+
+
+	
+	rec-matrix1 - ctop errors
+
+
+	

+		
rec-matrix1

+		
+		
+		  
+		    matrix 
+		    
+		      matrixrow 
+		      0 
+		      1 
+		      0 
+		     
+		    
+		      matrixrow 
+		      0 
+		      0 
+		      1 
+		     
+		    
+		      matrixrow 
+		      1 
+		      0 
+		      0 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-max2.html b/tests/units/rec-max2.html
new file mode 100644
index 0000000..0dd0837
--- /dev/null
+++ b/tests/units/rec-max2.html
@@ -0,0 +1,78 @@
+
+
+
+
+	
+	rec-max2 - ctop errors
+
+
+	

+		
rec-max2

+		
+		
+		  
+		    max 
+		    
+		      suchthat 
+		      R 
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          and 
+		          
+		            in 
+		            x 
+		            
+		              B 
+		              
+		                set 
+		               
+		             
+		           
+		          
+		            notin 
+		            x 
+		            
+		              C 
+		              
+		                set 
+		               
+		             
+		           
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-min2.html b/tests/units/rec-min2.html
new file mode 100644
index 0000000..0e33798
--- /dev/null
+++ b/tests/units/rec-min2.html
@@ -0,0 +1,79 @@
+
+
+
+
+	
+	rec-min2 - ctop errors
+
+
+	

+		
rec-min2

+		
+		
+		  
+		    min 
+		    
+		      map 
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          power 
+		          x 
+		          2 
+		         
+		       
+		      
+		        suchthat 
+		        R 
+		        
+		          lambda 
+		          
+		            x 
+		           
+		          
+		            notin 
+		            x 
+		            
+		              B 
+		              
+		                set 
+		               
+		             
+		           
+		         
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-partialdiff3.html b/tests/units/rec-partialdiff3.html
new file mode 100644
index 0000000..0369e50
--- /dev/null
+++ b/tests/units/rec-partialdiff3.html
@@ -0,0 +1,74 @@
+
+
+
+
+	
+	rec-partialdiff3 - ctop errors
+
+
+	

+		
rec-partialdiff3

+		
+		
+		  
+		    
+		      partialdiffdegree 
+		      
+		        list 
+		        m 
+		        n 
+		       
+		      k 
+		      
+		        lambda 
+		        
+		          x 
+		         
+		        
+		          y 
+		         
+		        
+		          
+		            f 
+		            
+		              fn 
+		             
+		           
+		          x 
+		          y 
+		         
+		       
+		     
+		    x 
+		    y 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-partialdiff5.html b/tests/units/rec-partialdiff5.html
new file mode 100644
index 0000000..fced99e
--- /dev/null
+++ b/tests/units/rec-partialdiff5.html
@@ -0,0 +1,57 @@
+
+
+
+
+	
+	rec-partialdiff5 - ctop errors
+
+
+	

+		
rec-partialdiff5

+		
+		
+		  
+		     
+		    
+		      list 
+		      1 
+		      1 
+		      3 
+		     
+		    
+		      f 
+		      
+		        fn 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-pi1.html b/tests/units/rec-pi1.html
new file mode 100644
index 0000000..e9295dc
--- /dev/null
+++ b/tests/units/rec-pi1.html
@@ -0,0 +1,49 @@
+
+
+
+
+	
+	rec-pi1 - ctop errors
+
+
+	

+		
rec-pi1

+		
+		
+		  
+		     
+		     
+		    22
+		      7
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-piecewise1.html b/tests/units/rec-piecewise1.html
new file mode 100644
index 0000000..49ce2ec
--- /dev/null
+++ b/tests/units/rec-piecewise1.html
@@ -0,0 +1,58 @@
+
+
+
+
+	
+	rec-piecewise1 - ctop errors
+
+
+	

+		
rec-piecewise1

+		
+		
+		  
+		    piecewise 
+		    
+		      piece 
+		      0 
+		      
+		        lt 
+		        x 
+		        0 
+		       
+		     
+		    
+		      otherwise 
+		      x 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-primes1.html b/tests/units/rec-primes1.html
new file mode 100644
index 0000000..cef4706
--- /dev/null
+++ b/tests/units/rec-primes1.html
@@ -0,0 +1,52 @@
+
+
+
+
+	
+	rec-primes1 - ctop errors
+
+
+	

+		
rec-primes1

+		
+		
+		  
+		    in 
+		    
+		      17 
+		      
+		        integer 
+		       
+		     
+		    P 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-reln3.html b/tests/units/rec-reln3.html
new file mode 100644
index 0000000..2244ebf
--- /dev/null
+++ b/tests/units/rec-reln3.html
@@ -0,0 +1,53 @@
+
+
+
+
+	
+	rec-reln3 - ctop errors
+
+
+	

+		
rec-reln3

+		
+		
+		  
+		    predicate_on_list 
+		    lt 
+		    
+		      list 
+		      a 
+		      b 
+		      c 
+		      10 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-selector1.html b/tests/units/rec-selector1.html
new file mode 100644
index 0000000..0eb20cd
--- /dev/null
+++ b/tests/units/rec-selector1.html
@@ -0,0 +1,59 @@
+
+
+
+
+	
+	rec-selector1 - ctop errors
+
+
+	

+		
rec-selector1

+		
+		
+		  
+		    vector_selector 
+		    1 
+		    
+		      matrix 
+		      
+		        matrixrow 
+		        1 
+		        2 
+		       
+		      
+		        matrixrow 
+		        3 
+		        4 
+		       
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-variance1.html b/tests/units/rec-variance1.html
new file mode 100644
index 0000000..1181e4b
--- /dev/null
+++ b/tests/units/rec-variance1.html
@@ -0,0 +1,46 @@
+
+
+
+
+	
+	rec-variance1 - ctop errors
+
+
+	

+		
rec-variance1

+		
+		
+		  
+		     
+		    X 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec-vectorproduct1.html b/tests/units/rec-vectorproduct1.html
new file mode 100644
index 0000000..b5d36c7
--- /dev/null
+++ b/tests/units/rec-vectorproduct1.html
@@ -0,0 +1,60 @@
+
+
+
+
+	
+	rec-vectorproduct1 - ctop errors
+
+
+	

+		
rec-vectorproduct1

+		
+		
+		  
+		     
+		    
+		       
+		      A 
+		      B 
+		     
+		    
+		       
+		      a 
+		      b 
+		      
+		         
+		         θ 
+		       
+		      N 
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/rec3-share-1.html b/tests/units/rec3-share-1.html
new file mode 100644
index 0000000..8eedc67
--- /dev/null
+++ b/tests/units/rec3-share-1.html
@@ -0,0 +1,55 @@
+
+
+
+
+	
+	rec3-share-1 - ctop errors
+
+
+	

+		
rec3-share-1

+		
+		
+		  
+		    f 
+		    
+		      f 
+		      
+		        f 
+		        a 
+		        a 
+		       
+		       
+		     
+		     
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/subset2.html b/tests/units/subset2.html
new file mode 100644
index 0000000..e94ccb1
--- /dev/null
+++ b/tests/units/subset2.html
@@ -0,0 +1,47 @@
+
+
+
+
+	
+	subset2 - ctop errors
+
+
+	

+		
subset2

+		
+		
+		  
+		     
+		    A 
+		    B 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file
diff --git a/tests/units/union3.html b/tests/units/union3.html
new file mode 100644
index 0000000..abdb675
--- /dev/null
+++ b/tests/units/union3.html
@@ -0,0 +1,51 @@
+
+
+
+
+	
+	union3 - ctop errors
+
+
+	

+		
union3

+		
+		
+		  
+		     
+		    
+		       
+		      A 
+		      φ 
+		     
+		    A 
+		   
+		
+	

+
+	
+	
+	
+	
+
+	
+
+
+	
\ No newline at end of file