On Tue, January 29, 2008 7:22 am, Michael Kohlhase wrote: > I have resurrected David Carlisle's stylesheet for presenting the > OM3/MathML3 CDs in html. That should give us a better overview over the > state of the merging effort. Well done - a useful tool. > Generally, we are currently moving over the MathML material from the > *.mcd to the *.ocd files with the hope of eliminating the *.mcd files > soon. That will of course lead to a lot of duplicate material that needs > to be weeded out. I am currently co-developing the RelaxNG grammar (and > the RelaxNG type-checking; see the talk at the JEM workshop) to flush > out all the bugs that have accumulated. My laptop browser (IE6) displays lcm(a,b) = a*b/gcd(a,b) Then xml prefix mathml but I can see there is a bunch of OM behind this.
However, there are some problems here. ForAll(x,lcm(x,1)=x) contradicts for all integers a,b | There does not exist a c>0 such that c/a is an Integer and c/b is an Integer and lcm(a,b) > c. (consider lcm(-2,1)). This is the sort of bug we NEED to weed out, and which this tool certainly helps me see. James Davenport Hebron & Medlock Professor of Information Technology Formerly RAE Coordinator Still Undergraduate Director of Studies, CS Dept Lecturer on CM30070, 30078, 50209, 50123 Chairman, Powerful Computing WP, University of Bath OpenMath Content Dictionary Editor _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
