mathml 0.8.1 → 0.10.1

data/symbols/fetch_symbol_test.rb

@@ -1,180 +0,0 @@
-#!/usr/bin/ruby
-
-require "test/unit"
-require "symbols/fetch_symbol"
-require "test/math_ml_test_util"
-require "math_ml"
-
-class TC_Misc < Test::Unit::TestCase
-	def test_brace_nest
-		assert_equal("{1.{2.}2.}1.", brace_nest("{{}}"))
-		assert_equal("{1.{2.}2.{2.}2.}1.", brace_nest("{{}{}}"))
-	end
-end
-
-class TC_FetchSymbol < Test::Unit::TestCase
-	include Util4TC_MathML
-	LIST = <<'EOT'
-\{ subsup o-
-\& subsup o:amp
-\varepsilon subsup I:
-\Gamma subsup i:
-\ensuremath subsup v
-\log subsup i-
-\lim underover i-
-\dagger subsup 
-\braceld subsup o=x25dc # dummy
-\relbar subsup o--
-\precneqq subsup o-<mfrac mathsize='1%' linethickness='0'><mo>&prec;</mo><mo>&ne;</mo></mfrac>	 # dummy
-EOT
-
-	def test_fetchsymbol
-		r = fetch_symbol
-
-		#latex.ltx
-		assert_equal(:subsup, r["\\log"])
-		assert_equal(:subsup, r["\\deg"])
-		assert_equal(:underover, r["\\lim"])
-		assert_equal(:underover, r["\\gcd"])
-		assert_equal(nil, r["\\bigl"])
-		assert_equal(:subsup, r["\\$"])
-		assert_equal(:subsup, r["\\}"])
-		assert_equal(:subsup, r["\\copyright"])
-		assert_equal(:subsup, r["\\%"])
-
-		#fontmath.ltx
-		assert_equal(:subsup, r["\\alpha"])
-		assert_equal(:subsup, r["\\Gamma"])
-		assert_equal(:underover, r["\\coprod"])
-		assert_equal(:subsup, r["\\triangleleft"])
-		assert_equal(:subsup, r["\\propto"])
-		assert_equal(:subsup, r["\\ldotp"])
-		assert_equal(:subsup, r["\\hbar"])
-		assert_equal(nil, r["\\overrightarrow"])
-		assert_equal(nil, r["\\n@space"])
-		assert_equal(nil, r["\\rightarrowfill"])
-		assert_equal(:subsup, r["\\lnot"])
-		assert_equal(:subsup, r["\\|"])
-		assert_equal(:subsup, r["\\lmoustache"])
-		assert_equal(:subsup, r["\\arrowvert"])
-		assert_equal(:subsup, r["\\uparrow"])
-		assert_equal(:subsup, r["\\longleftarrow"])
-
-		#amssymb.sty
-		assert_equal(:subsup, r["\\boxdot"])
-		assert_equal(:subsup, r["\\Doteq"])
-		assert_equal(:subsup, r["\\Diamond"])
-
-		#amsfonts.sty
-		assert_equal(:subsup, r["\\ulcorner"])
-		assert_equal(:subsup, r["\\urcorner"])
-		assert_equal(:subsup, r["\\rightleftharpoons"])
-		assert_equal(:subsup, r["\\leadsto"])
-		assert_equal(nil, r["\\dabar@"])
-
-		#amsmath.str
-		assert_equal(:subsup, r["\\ldots"])
-	end
-
-	def test_parse_list
-		h = parse_list(LIST)[1]
-		assert_equal([:s, :o, ""], h["\\{"])
-		assert_equal([:s, :o, :amp], h["\\&"])
-		assert_equal([:s, :I], h["\\varepsilon"])
-		assert_equal([:s, :i], h["\\Gamma"])
-		assert_equal(nil, h["\\ensuremath"])
-		assert_equal([:s, :i, ""], h["\\log"])
-		assert_equal([:u, :i, ""], h["\\lim"])
-		assert_equal([:s], h["\\dagger"])
-		assert_equal([:s, :o, 0x25dc], h["\\braceld"])
-		assert_equal([:s, :o, "-"], h["\\relbar"])
-		assert_equal([:s, :o, "<mfrac mathsize='1%' linethickness='0'><mo>&prec;</mo><mo>&ne;</mo></mfrac>"], h["\\precneqq"])
-	end
-
-	def test_to_mathml
-		def tm(com, h)
-			to_mathml(com, h[com])
-		end
-
-		h = parse_list(LIST)[1]
-		assert_equal("<mo>{</mo>", tm("\\{", h))
-		assert_equal("<mo>&amp;</mo>", tm("\\&", h))
-		assert_equal("<mi>&varepsilon;</mi>", tm("\\varepsilon", h))
-		assert_equal("<mi mathvariant='normal'>&Gamma;</mi>", tm("\\Gamma", h))
-		assert_equal("", tm("\\ensuremat", h))
-		assert_equal("<mi>log</mi>", tm("\\log", h))
-		assert_equal("<mo>&dagger;</mo>", tm("\\dagger", h))
-		assert_equal("<mo>&#x25dc;</mo>", tm("\\braceld", h))
-	end
-
-	def test_gen_rb
-		e = <<'EOT'
-SymbolCommands={
-"{"=>[:s,:o,""],
-"&"=>[:s,:o,:amp],
-"varepsilon"=>[:s,:I],
-"Gamma"=>[:s,:i],
-"ensuremath"=>nil,
-"log"=>[:s,:i,""],
-"lim"=>[:u,:i,""],
-"dagger"=>[:s],
-"braceld"=>[:s,:o,0x25dc],
-"relbar"=>[:s,:o,"-"],
-"precneqq"=>[:s,:o,"<mfrac mathsize='1%' linethickness='0'><mo>&prec;</mo><mo>&ne;</mo></mfrac>"],
-}
-EOT
-		assert_equal(e, gen_rb(LIST))
-	end
-
-	def test_mathml_rb_symbol_command
-		a, h = parse_list(IO.read("symbols/list.txt"))
-		a.each do |com|
-			latex = "#{com}_a^b"
-			m = to_mathml(com, h[com])
-			unless h[com]
-				case com
-				when "\\,"
-					e = "<msubsup><mspace width='0.167em' /><mi>a</mi><mi>b</mi></msubsup>"
-				else
-					e = "<msubsup><none /><mi>a</mi><mi>b</mi></msubsup>"
-				end
-			else
-				if h[com][0] && h[com][0]==:u
-					e = "<munderover>#{m}<mi>a</mi><mi>b</mi></munderover>"
-				elsif h[com][0] && h[com][0]==:s
-					e = "<msubsup>#{m}<mi>a</mi><mi>b</mi></msubsup>"
-				else
-					raise "#{com}"
-				end
-			end
-			begin
-				assert_nothing_raised{smml(latex, true)}
-				assert_equal(e, smml(latex, true))
-			rescue
-				puts latex
-				raise
-			end
-		end
-	end
-
-	def test_delims
-		d = []
-		fetch_symbol(d)
-
-		MathML::LaTeX::BuiltinCommands::Delimiters.each do |i|
-			assert(d.include?("\\#{i}"), "Add '#{i}'")
-		end
-		d.each do |i|
-			assert(MathML::LaTeX::BuiltinCommands::Delimiters.include?(i[/^\\(.*)$/, 1]), "Missing '#{i}'")
-		end
-	end
-
-	def test_missing
-		p = load_preput_list(IO.read("symbols/list.txt"))
-		h = fetch_symbol
-		p.each_key do |k|
-			test = h.include?(k) ? "" : k
-			assert_equal("", test)
-		end
-	end
-end

data/symbols/list.txt

@@ -1,518 +0,0 @@
-# Line which begin with '#' is comment
-# "LaTeX command" "subsup|underover" "data"
-# 1st chararacter of 3rd column(data) is type of element
-#  o:operator i:identifier I:identifier(Italic) n:number v:nothing to do(not <none> element)
-# 2nd character is class of data
-#  '-' is string, ':' is entity(name), '=' is entity(code)
-# remain string is text or entity
-#   when it omitted, that is same to command without '\'
-# when all omitted, default is "o:"
-\{ subsup o-
-\} subsup o-
-\# subsup o-
-\$ subsup o-
-\& subsup o:amp
-\_ subsup o-
-\% subsup o-
-\, subsup v # dummy
-\varepsilon subsup I:
-\mathdollar subsup o-$
-\lbrace subsup 
-\rbrace subsup 
-\P subsup o:para
-\mathparagraph subsup o:para
-\S subsup o:sect
-\mathsection subsup o:sect
-\dag subsup o:dagger
-\dagger subsup 
-\ddag subsup o:ddagger
-\ddagger subsup 
-\copyright subsup o:copy
-\pounds subsup o:pound
-\mathsterling subsup o:pound
-\dots subsup o:mldr
-\mathellipsis subsup o:mldr
-\ldots subsup o:mldr
-\ensuremath subsup v # dummy
-\| subsup o:DoubleVerticalBar
-\mho subsup 
-\Join subsup o:bowtie
-\Box subsup o:square
-\Diamond subsup 
-\leadsto subsup o:zigrarr
-\sqsubset subsup 
-\sqsupset subsup 
-\lhd subsup o:vltri
-\unlhd subsup o:ltrie
-\rhd subsup o:vrtri
-\unrhd subsup o:rtrie
-\log subsup i-
-\lg subsup i-
-\ln subsup i-
-\lim underover i-
-\limsup underover i-lim sup
-\liminf underover i-lim inf
-\sin subsup i-
-\arcsin subsup i-
-\sinh subsup i-
-\cos subsup i-
-\arccos subsup i-
-\cosh subsup i-
-\tan subsup i-
-\arctan subsup i-
-\tanh subsup i-
-\cot subsup i-
-\coth subsup i-
-\sec subsup i-
-\csc subsup i-
-\max underover i-
-\min underover i-
-\sup underover i-
-\inf underover i-
-\arg subsup i-
-\ker subsup i-
-\dim subsup i-
-\hom subsup i-
-\det underover i-
-\exp subsup i-
-\Pr underover i-
-\gcd underover i-
-\deg subsup i-
-\prime subsup 
-\alpha subsup I:
-\beta subsup I:
-\gamma subsup I:
-\delta subsup I:
-\epsilon subsup I:
-\zeta subsup I:
-\eta subsup I:
-\theta subsup I:
-\iota subsup I:
-\kappa subsup I:
-\lambda subsup I:
-\mu subsup I:
-\nu subsup I:
-\xi subsup I:
-\pi subsup I:
-\rho subsup I:
-\sigma subsup I:
-\tau subsup I:
-\upsilon subsup I:
-\phi subsup I:
-\chi subsup I:
-\psi subsup I:
-\omega subsup I:
-\vartheta subsup I:
-\varpi subsup I:
-\varrho subsup I:
-\varsigma subsup I:
-\varphi subsup I:
-\Gamma subsup i:
-\Delta subsup i:
-\Theta subsup i:
-\Lambda subsup i:
-\Xi subsup i:
-\Pi subsup i:
-\Sigma subsup i:
-\Upsilon subsup i:Upsi
-\Phi subsup i:
-\Psi subsup i:
-\Omega subsup i:
-\aleph subsup i:
-\hbar subsup i:hslash # alternative
-\imath subsup i:
-\jmath subsup i:
-\ell subsup 
-\wp subsup 
-\Re subsup i:
-\Im subsup i:
-\partial subsup o:part
-\infty subsup n:infin
-\emptyset subsup i:empty
-\nabla subsup i:
-\surd subsup o:Sqrt
-\top subsup 
-\bot subsup 
-\angle subsup 
-\not subsup 
-\triangle subsup 
-\forall subsup 
-\exists subsup o:exist
-\neg subsup o:not
-\lnot subsup o:not
-\flat subsup 
-\natural subsup 
-\sharp subsup 
-\clubsuit subsup 
-\diamondsuit subsup 
-\heartsuit subsup 
-\spadesuit subsup 
-\coprod underover 
-\bigvee underover 
-\bigwedge underover 
-\biguplus underover 
-\bigcap underover 
-\bigcup underover 
-\intop underover o:int
-\int subsup o:
-\prod underover 
-\sum underover 
-\bigotimes underover 
-\bigoplus underover 
-\bigodot underover 
-\ointop underover o:oint
-\oint subsup 
-\bigsqcup underover 
-\smallint underover o:int
-\triangleleft subsup 
-\triangleright subsup 
-\bigtriangleup subsup 
-\bigtriangledown subsup 
-\wedge subsup 
-\land subsup o:wedge
-\vee subsup 
-\lor subsup o:vee
-\cap subsup 
-\cup subsup 
-\sqcap subsup 
-\sqcup subsup 
-\uplus subsup 
-\amalg subsup 
-\diamond subsup 
-\bullet subsup 
-\wr subsup 
-\div subsup 
-\odot subsup 
-\oslash subsup 
-\otimes subsup 
-\ominus subsup 
-\oplus subsup 
-\mp subsup 
-\pm subsup 
-\circ subsup o:cir
-\bigcirc subsup 
-\setminus subsup 
-\cdot subsup o:sdot
-\ast subsup 
-\times subsup 
-\star subsup 
-\propto subsup 
-\sqsubseteq subsup 
-\sqsupseteq subsup 
-\parallel subsup 
-\mid subsup 
-\dashv subsup 
-\vdash subsup 
-\nearrow subsup 
-\searrow subsup 
-\nwarrow subsup 
-\swarrow subsup 
-\Leftrightarrow subsup 
-\Leftarrow subsup 
-\Rightarrow subsup 
-\neq subsup o:ne
-\ne subsup 
-\leq subsup 
-\le subsup 
-\geq subsup 
-\ge subsup 
-\succ subsup 
-\prec subsup 
-\approx subsup 
-\succeq subsup o:sccue
-\preceq subsup o:prcue
-\supset subsup 
-\subset subsup 
-\supseteq subsup 
-\subseteq subsup 
-\in subsup 
-\ni subsup 
-\owns subsup o:ni
-\gg subsup 
-\ll subsup 
-\leftrightarrow subsup 
-\leftarrow subsup 
-\gets subsup o:leftarrow
-\rightarrow subsup 
-\to subsup o:rightarrow
-\mapstochar subsup o:vdash #alternative
-\mapsto subsup 
-\sim subsup 
-\simeq subsup 
-\perp subsup 
-\equiv subsup 
-\asymp subsup 
-\smile subsup 
-\frown subsup 
-\leftharpoonup subsup 
-\leftharpoondown subsup 
-\rightharpoonup subsup 
-\rightharpoondown subsup 
-\cong subsup 
-\notin subsup 
-\rightleftharpoons subsup 
-\doteq subsup 
-\joinrel subsup v # dummy
-\relbar subsup o--
-\Relbar subsup o-=
-\lhook subsup o:sub
-\hookrightarrow subsup 
-\rhook subsup o:sup
-\hookleftarrow subsup 
-\bowtie subsup 
-\models subsup 
-\Longrightarrow subsup 
-\longrightarrow subsup 
-\longleftarrow subsup 
-\Longleftarrow subsup 
-\longmapsto subsup o:mapsto
-\longleftrightarrow subsup 
-\Longleftrightarrow subsup 
-\iff subsup 
-\ldotp subsup o-.
-\cdotp subsup o:cdot
-\colon subsup 
-\cdots subsup o:ctdot
-\vdots subsup o:vellip
-\ddots subsup o:dtdot
-\braceld subsup o=x25dc # alternative
-\bracerd subsup o=x25dd # alternative
-\bracelu subsup o=x25df # alternative
-\braceru subsup o=x25de # alternative
-\lmoustache subsup 
-\rmoustache subsup 
-\arrowvert subsup o:vert
-\Arrowvert subsup o:DoubleVerticalBar
-\Vert subsup o:DoubleVerticalBar
-\vert subsup 
-\uparrow subsup 
-\downarrow subsup 
-\updownarrow subsup 
-\Uparrow subsup 
-\Downarrow subsup 
-\Updownarrow subsup 
-\backslash subsup o-\
-\rangle subsup 
-\langle subsup 
-\rceil subsup 
-\lceil subsup 
-\rfloor subsup 
-\lfloor subsup 
-\lgroup subsup o=x2570
-\rgroup subsup o=x256f
-\bracevert subsup o:vert
-\mathunderscore subsup o-_
-\square subsup 
-\rightsquigarrow subsup 
-\lozenge subsup 
-\vartriangleright subsup 
-\vartriangleleft subsup 
-\trianglerighteq subsup 
-\trianglelefteq subsup 
-\boxdot subsup o:dotsquare
-\boxplus subsup 
-\boxtimes subsup 
-\blacksquare subsup 
-\centerdot subsup 
-\blacklozenge subsup 
-\circlearrowright subsup 
-\circlearrowleft subsup 
-\leftrightharpoons subsup 
-\boxminus subsup 
-\Vdash subsup 
-\Vvdash subsup 
-\vDash subsup 
-\twoheadrightarrow subsup 
-\twoheadleftarrow subsup 
-\leftleftarrows subsup 
-\rightrightarrows subsup 
-\upuparrows subsup 
-\downdownarrows subsup 
-\upharpoonright subsup 
-\restriction subsup o:upharpoonright
-\downharpoonright subsup 
-\upharpoonleft subsup 
-\downharpoonleft subsup 
-\rightarrowtail subsup 
-\leftarrowtail subsup 
-\leftrightarrows subsup 
-\rightleftarrows subsup 
-\Lsh subsup 
-\Rsh subsup 
-\leftrightsquigarrow subsup 
-\looparrowleft subsup 
-\looparrowright subsup 
-\circeq subsup 
-\succsim subsup 
-\gtrsim subsup 
-\gtrapprox subsup 
-\multimap subsup 
-\therefore subsup 
-\because subsup 
-\doteqdot subsup 
-\Doteq subsup o:doteqdot
-\triangleq subsup 
-\precsim subsup 
-\lesssim subsup 
-\lessapprox subsup 
-\eqslantless subsup 
-\eqslantgtr subsup 
-\curlyeqprec subsup 
-\curlyeqsucc subsup 
-\preccurlyeq subsup 
-\leqq subsup 
-\leqslant subsup o:leq # alternative
-\lessgtr subsup 
-\backprime subsup 
-\risingdotseq subsup 
-\fallingdotseq subsup 
-\succcurlyeq subsup 
-\geqq subsup 
-\geqslant subsup o:geq # alternative
-\gtrless subsup 
-\bigstar subsup 
-\between subsup 
-\blacktriangledown subsup 
-\blacktriangleright subsup 
-\blacktriangleleft subsup 
-\vartriangle subsup o:triangle
-\blacktriangle subsup 
-\triangledown subsup 
-\eqcirc subsup 
-\lesseqgtr subsup 
-\gtreqless subsup 
-\lesseqqgtr subsup 
-\gtreqqless subsup 
-\Rrightarrow subsup 
-\Lleftarrow subsup 
-\veebar subsup 
-\barwedge subsup 
-\doublebarwedge subsup 
-\measuredangle subsup 
-\sphericalangle subsup o:angsph
-\varpropto subsup 
-\smallsmile subsup o:smile
-\smallfrown subsup o:frown
-\Subset subsup 
-\Supset subsup 
-\Cup subsup 
-\doublecup subsup o:Cup
-\Cap subsup 
-\doublecap subsup o:Cap
-\curlywedge subsup 
-\curlyvee subsup 
-\leftthreetimes subsup 
-\rightthreetimes subsup 
-\subseteqq subsup 
-\supseteqq subsup 
-\bumpeq subsup 
-\Bumpeq subsup 
-\lll subsup o:Ll
-\llless subsup o:Ll
-\ggg subsup 
-\gggtr subsup o:ggg
-\circledS subsup 
-\pitchfork subsup 
-\dotplus subsup 
-\backsim subsup 
-\backsimeq subsup 
-\complement subsup 
-\intercal subsup 
-\circledcirc subsup 
-\circledast subsup 
-\circleddash subsup 
-\lvertneqq subsup o:lneqq
-\gvertneqq subsup o:gneqq
-\nleq subsup o=x2270
-\ngeq subsup o=x2271
-\nless subsup 
-\ngtr subsup 
-\nprec subsup 
-\nsucc subsup 
-\lneqq subsup 
-\gneqq subsup 
-\nleqslant subsup 
-\ngeqslant subsup 
-\lneq subsup 
-\gneq subsup 
-\npreceq subsup o:nprcue
-\nsucceq subsup o:nsccue
-\precnsim subsup 
-\succnsim subsup 
-\lnsim subsup 
-\gnsim subsup 
-\nleqq subsup 
-\ngeqq subsup 
-\precneqq subsup o-<mfrac linethickness='0' mathsize='1%'><mo>&prec;</mo><mo>&ne;</mo></mfrac>	 # alternative
-\succneqq subsup o-<mfrac linethickness='0' mathsize='1%'><mo>&succ;</mo><mo>&ne;</mo></mfrac>	 # alternative
-\precnapprox subsup 
-\succnapprox subsup 
-\lnapprox subsup o-<mfrac linethickness='0' mathsize='1%'><mo>&lt;</mo><mo>&nap;</mo></mfrac>	 # alternative
-\gnapprox subsup o-<mfrac linethickness='0' mathsize='1%'><mo>&gt;</mo><mo>&nap;</mo></mfrac>	 # alternative
-\nsim subsup 
-\ncong subsup 
-\diagup subsup o=x2571
-\diagdown subsup o=x2572
-\varsubsetneq subsup o:subsetneq
-\varsupsetneq subsup o:supsetneq
-\nsubseteqq subsup 
-\nsupseteqq subsup 
-\subsetneqq subsup 
-\supsetneqq subsup 
-\varsubsetneqq subsup o:subsetneqq # alternative
-\varsupsetneqq subsup o:supsetneqq # alternative
-\subsetneq subsup 
-\supsetneq subsup 
-\nsubseteq subsup 
-\nsupseteq subsup 
-\nparallel subsup 
-\nmid subsup 
-\nshortmid subsup o:nmid # alternative
-\nshortparallel subsup o:nparallel # alternative
-\nvdash subsup 
-\nVdash subsup 
-\nvDash subsup 
-\nVDash subsup 
-\ntrianglerighteq subsup 
-\ntrianglelefteq subsup 
-\ntriangleleft subsup 
-\ntriangleright subsup 
-\nleftarrow subsup 
-\nrightarrow subsup 
-\nLeftarrow subsup 
-\nRightarrow subsup 
-\nLeftrightarrow subsup 
-\nleftrightarrow subsup 
-\divideontimes subsup 
-\varnothing subsup 
-\nexists subsup 
-\Finv subsup o=x2132
-\Game subsup o-G # alternative
-\eth subsup 
-\eqsim subsup 
-\beth subsup 
-\gimel subsup 
-\daleth subsup 
-\lessdot subsup 
-\gtrdot subsup 
-\ltimes subsup 
-\rtimes subsup 
-\shortmid subsup o:mid # alternative
-\shortparallel subsup 
-\smallsetminus subsup o:setminus # alternative
-\thicksim subsup o:sim # alternative
-\thickapprox subsup o:approx # alternative
-\approxeq subsup 
-\succapprox subsup 
-\precapprox subsup 
-\curvearrowleft subsup 
-\curvearrowright subsup 
-\digamma subsup 
-\varkappa subsup 
-\Bbbk subsup i:kopf
-\hslash subsup 
-\backepsilon subsup 
-\ulcorner subsup o:boxdr # alternative
-\urcorner subsup o:boxdl # alternative
-\llcorner subsup o:boxur # alternative
-\lrcorner subsup o:boxul # alternative