Možnosti konverze matematických objektů v soudobém programovém vybavení

Transkript

1 Mendelova univerzita v Brně Provozně ekonomická fakulta Možnosti konverze matematických objektů v soudobém programovém vybavení Bakalářská práce Adam Hanuš Vedoucí práce:: RNDr. Tomáš Hála, Ph. D. Brno 2013

2 MÍSTO TÉTO STRANY VLOŽ ORIGINÁL ZADÁNÍ PRÁCE

3 Děkuji RNDr. Tomáši Hálovi za vedení, podporu a cenné připomínky při tvorbě této práce. Poděkování také patří mým nejbližším za skvělé studijní zázemí, které mi poskytují.

4 Prohlašuji, že jsem tuto práci vyřešil samostatně s použitím literatury, kterou uvádím v seznamu. V Brně dne 20. května 2013

5 5 Abstract H, A. Conversion options of the mathematical objects in the contemporary software. Bachelor thesis. Brno, This bachelor thesis presents the current possibilities of conversion of the mathematical objects. There is a compilation of the contemporary software for a mathematical notation and furthemore, there are the results of conversion with the quality valorization of conversion between several formats, that support displaying and writting mathematics. The most important part of the thesis is the implementation of the converter of the mathematical objects, using a XSL style and an available freeware XSL processors. Also, it is focused on describtion of options of the math objects display in MathML and TeX languages. Key words: conversion, converter, MathML, mathematical objects, TeX, XSL, XSLT

6 6 Abstrakt H, A. Možnosti konverze matematických objektů v soudobém programovém vybavení. Bakalářská práce. Brno, Tato bakalářská práce se zabývá možnostmi konverze matematických objektů. V dokumentu je sestaven přehled soudobého programového vybavení pro zápis matematiky a taktéž jsou zde provedeny konverze s hodnocením kvality konverze mezi různými formáty, které podporují zobrazení a zápis matematických objektů. Nejdůležitějším bodem práce je implementace konvertoru matematických objektů za pomocí stylu XSL a veřejně dostupných procesorů XSL. Práce také popisuje způsoby zobrazení matematických objektů v jazyce MathML a TeX. Klíčová slova: konverze,konvertor, MathML, matematické objekty, TeX, XSL, XSLT

7 7 Obsah 1 Úvod a cíl práce Úvod Cíl práce Teoretická východiska Historie matematického zápisu Formáty pro zápis matematiky Textový formát MS Word (DOC) Textový formát Office Open XML (DOCX) Open Document Format (ODT, ODF) OpenOffice Math Format (SXM) Textový formát (TXT) MathML (MML) Extensible Markup Language (XML) TEX Postscript (PS), JPG, GIF, PNG a jiné grafické formáty Portable Document Format (PDF) HyperText Markup Language (HTML) Rich Text Format (RTF) Starmath formát (SMF) a podobné formáty kancelářských balíku založených na OpenOffice Standard Generalized Markup Language (SGML) Programové vybavení Apache OpenOffice.org LibreOffice Microsoft Office CAS nástroje (Maple, Maxima, Mathematica, ) Moodle DragMath MathCast Formula Sheet Equation Editor Lyx MathMagic MathType

8 Google Documents Panel pro matematický zápis ve Windows Konverze Určení kvality konverze Microsoft Office OpenOffice.org Google Documents Editor Math balíku OpenOffice.org (LibreOffice) MathType MathCast MathMagic DragMath Lyx Formula Sheet Equation Editor Panel pro matematický zápis Závěr a doporučení Hlubší souvislosti matematické sazby TEX Srovnání TEXu a L A TEXu Ukázky matematických prostředí Tvorba matematického seznamu Mezera Text v matematické formuli Písmo Základní matematické konstrukce Matematické akcenty Aritmetické operace Zlomky a závorky Indexy Kombinační čísla Integrály Mocniny a odmocniny MathML MathML a HTML a jeho podpora v prohlížečích Syntax a sémantika MathML Prezentační zápis

9 Základní matematické konstrukce Základní aritmetika Zlomek Odmocniny Indexy a exponenty Text v matematické formuli Významové značení Spojení prezentačního a významového značení Konvertor matematických objektů Dostupná technologie XML a MathML XSL Použití XPath v XSLT XSLT procesory a parsery Podpora XSLT v prohlížečích Jak to funguje Jmenný prostor Elementy XSL souboru Módy šablon a priorita Metodika řešení Šablona pro zlomek Šablona pro zmenšený zlomek Šablona pro index a exponent Šablona pro integrál s mezemi na místě indexu a exponentu Šablona pro integrál s mezemi nad a pod znakem integrálu Šablona pro matice Šablona pro kombinační číslo Šablona pro různé druhy závorek Šablona pro goniometrické funkce Šablona pro akcenty Šablona pro operátory Šablona pro mezery Implementace konvertoru Diskuze 73

10 10 7 Závěr 75 8 Literatura 76 Literatura Seznam tabulek Seznam obrázků Přílohy Screenshoty testovaných programů

11 Úvod a cíl práce 11 1 Úvod a cíl práce 1.1 Úvod V době neustálého rozvoje počítačových technologií je orientace ve všech dostupných programech a formátech docela složitou záležitostí. Přitom to není tak dávno, kdy pro jeden účel člověk používal vždy jen několik programových nástrojů. Skoro stejně tak dávno je i od doby, kdy člověk začal přemýšlet, jak co nejlépe zapsat matematické objekty pomocí počítačů. Jedním z nejstarších pokusů je sázecí systém TEX, který se narozdíl od např. značkovacího jazyka ISO nebo unixového preprocesoru eqn používá dodnes a rozhodně jeho popularita nijak výrazně neklesá. Žádné z novějších aplikací totiž zatím nepřinesly lepši typografický výstup nebo tak "texovsky" úžasnou přizpůsobitelnost a programovatelnost. Na druhou stranu je celkově trochu složitější na pochopení z důvodu neinteraktivnosti. O nic lepší uživatelskou přívětivost nemá ani jazyk konsorcia W3C nazvaný Math- ML či koncept OpenMath. Prvně jmenovaný se dostal do povědomí lidí už v devadesátých letech a nyní patří společně s TEXem ke špičce nástrojů pro tvorbu matematiky. Většina lidí je dnes zvyklá na editační logiku kancelářských balíků typu MS Office a jejich WYSIWYG rozhraní. Důvodem úspěchu těchto druhů formátů je následování trendu vývojářů spočívající v co největším zjednodušování a zpřístupnění masám. Daní za to je ne příliš přesvědčivý grafický výsledek a řada dalších problémů nejen ve věci konverze. Tato práce poukazuje na dostupné formy zápisu matematiky. Snaží se rozebrat výhody a nevýhody jednotlivých formátů a konverze mezi nimi, proniknout hlouběji do sazby matematiky v systémech TEX a MathML a na základě literárních opor, vlastního výzkumu a bádání implementovat konvertor matematických objektů. 1.2 Cíl práce Hlavním cílem této práce je vytvořit konvertor matematických objektů. Nutným prostředkem ke splnění požadavku je prozkoumání současných programových nástrojů na tvorbu matematických objektů. Dále také určení kvality konverze u některých vybraných programů a formátů a srovnání jejich přesnosti v interpretaci matematiky. Práce se především soustředí na systémy TEX a MathML, jejichž formáty budou

12 Úvod a cíl práce 12 použity v implementační části práce a analyzuje také problematiku zápisu matematiky v souvislosti se zobrazením na webu. Bakalářská práce také v souvislosti s řešením praktické části podrobněji zkoumá transformační možnosti formátu XML a současné nástroje k tomu potřebné. Jsou zde uvedeny obecně platné postupy pro tvorbu matematických rovnic, tudíž může práce z části sloužit jako jednodušší manuál k jejich tvorbě.

13 Teoretická východiska 13 2 Teoretická východiska 2.1 Historie matematického zápisu S možností nějakým způsobem zapsat matematický objekt se setkáváme už při samotném vzniku počítačů. Podle matematické organizace Wolfram Research byly úplně první počítače vyvinuty přímo za účelem vědeckých výpočtů. Také první z programovacích jazyků FORTRAN (FORmula TRANslation) byl uzpůsoben k překladu matematických objektů do počítačem přijatelné formy. Vzhledem k tomu, že vstupní a výstupní proudy byly u prvních počítačů limitovány jednoduchou sekvencí znaků, bylo normální psát vzorce typu a^2+a/x^2 =c^2 jako jedoduchou posloupnost znaků a**2+a/x**2=c**2. V praxi to vypadalo tak, že se pomocí jednoduchého textového editoru zapsal vzorec, který se následně předložil jako vstupní výraz počítači a ten si ho převedl do sobě známé vnitřní reprezentace a přiřadil každému znaku jeho konkrétní význam (např. výraz a b byl zapsán jako a/b). (Wolfram Research, 2013) Jak ale jistě cítíme, tento postup psaní jen pomocí sady ASCII asi nedokázal řešit nějaké složitější matematické zápisy. Zápis matematických vzorců se dlouhou dobu řešil pomocí bitmapového obrázku, což sebou ale neslo několik nedostatků jako je obtížná modifikovatelnost a vytvořitelnost. V osmdesátých letech se začal velice masově rozšiřovat systém TEX, založen Donaldem Knuthem a v roce 1989 se stal standardem v zápisu matematiky také na webu. Ve stejném období byl Brianem Kernighanem a Lorindou Cherry vytvořen preprocesor eqn, umožňující zobrazení a zápis matematických vzorců, pro již známý unixový program troff na formátování textu. (Kernighan, 1978) Později se objevila možnost zápisu vzorce do webových stránek pomocí Java-apletů WebEQ (Web EQuation), kde je vzorec obsažen uvnitř zdrojového kódu jako hodnota a jeho zápis vychází z TEXu. (Grimmich, 2004) Dalším používaným značkovacím jazykem byl ISO 12083, vycházející ze SGML. Matematika použitá v tomto jazyce sdílí dost aspektů s TEXem. Vynucuje přísnější strukturu a regularitu než TEX, proto je většina prací kompatibilních s TEXem také aplikovatelná na ISO (Grimmich, 2004) TEXnastavil vysokou laťku v přesném vizuálním ztvárnění, z čehož vycházela v devadesátých letech organizace W3C a představila rozšíření tehdy již hojně používaného jazyka HTML o nové matematické prvky a později i úplně nový jazyk, nazvaný

14 Teoretická východiska 14 MathML, založený na značkovacím jazyce XML. Bylo to přesněji v roce 1997, kdy byla poprvé představena první specifikace MathML. Zpočátku byl jazyk MathML vytvořen pro přesné zachycení matematiky na webu, ale později se stal důležitým formátem pro přenos matematických dat a komunikaci pro širokou škálu vědeckých a matematických aplikací. (Design Science, 2013) Za zmínku také stojí značkovací jazyk OpenMath z roku 2000, který byl vytvořen v Helsinkách asociací OpenMath s důrazem na zachycení významu a sémantiky matematické rovnice. (OpenMath, 2013) 2.2 Formáty pro zápis matematiky V této kapitole se seznámíme s použitelnými formáty pro zápis matematických objektů. V dnešní době se každodenně potkáváme s desítkami a stovkami různých formátů, protoje čím dál těžší a těžší správně vybrat takový software a formát, který by nejlépe zachytil podobu a význam námi myšlené matematické formule. Tento mírný chaos je dán tím, že teoreticky každá nově vytvořená aplikace může přijít se svým jedinečným formátem, ikdyž se třeba v konečném důsledku ukáže, že se jedná o ekivalent již existujícího formátu s jiným názvem. Postupně se podíváme na formáty, se kterými pracují všeobecně nejpoužívanější kancelářské balíky, editory nebo i jiný software s možností zápisu matematiky Textový formát MS Word (DOC) Jedná se o formát vytvořený společností Microsoft, od devadesátých let používaný v textovém procesoru Microsoft Word, který je součástí kancelářského balíku Microsoft Office. Dříve během osmdesátých let byl používán jako souborová přípona plain textu (neformátovaná posloupnost textových znaků) (Doc(computing), 2013). V roce 2007 byl nahrazen novějším a úspornějším formátem DOCX, přesto se stále hojně používá a podporují ho i nejnovější verze textových procesorů. Podpora matematiky v tomto formátu je i není. Matematická rovnice se do dokumentu vkládá jako objekt, pomocí externího editoru rovnic (v některých verzích MS Office je modul nutný manuálně doinstalovat). Použitý integrovaný editor je zjednodušenná verze aplikace MathType od společnosti Design Science.

15 Teoretická východiska Textový formát Office Open XML (DOCX) Od roku 2007 zavedla firma Microsoft do svého kancelářského balíku nové formáty založené na XML a ZIP nazývané Office Open XML. Jak uvádí společnost Microsoft (Microsoft, 2013), nové formáty zaručují transparentnost a kompatibilitu pro všechny již exstující nebo nové soubory Microsoft Office. Vydáním nového formátu si Microsoft sliboval hlavně zvýšení bezpečnosti souborů, snížení pravděpodobnosti poškození souboru, snížení velikosti souboru a sdílení dat v různých systémech uchování. (Docx, 2007) S formátem DOCX vydal Microsoft pro své Office 2007 aplikaci pro tvorbu matematických objektů. Se starším formátem DOC je kompatibilita řešená tím, že se výsledná rovnice překonvertuje do dokumentu jako obrázek. Starý objektový způsob vkládání rovnice pomocí MS Equation Editor zůstal zachován i v tomto formátu. Po řadě kontroverzí byl i Office Open XML přijat jako standard ISO Open Document Format (ODT, ODF) Formát OpenDocument (celým názvem OASIS Open Document Format for Office Applications) je otevřený souborový formát založený na formátu XML a ZIP, používaný aplikacemi OpenOffice.org nebo třeba LibreOffice. Od 3. května 2006 je zařazen mezi standardy Mezinárodní organizací pro normalizaci jako standard ISO (Open Document, 2008) Stejně jako formát DOCX, i otevřený odt umí přenášet matematické objekty. V kancelářském balíku OpenOffice.org se o to stará samostatný editor Math, který se automaticky spouští ve všech součástech OpenOffice, pokud chceme vložit matematický objekt. K intepretaci matematiky je použit jazyk MathML, jehož zdrojový kód dostaneme jednodušše po extrahování formátu ODT. Math má dokonce svůj skriptovací jazyk a vzorce můžeme tvořit buď pomocí jednoduchého WYSIWYG menu, nebo přímo psaním kódu OpenOffice Math Format (SXM) Otevřený formát pro zápis matematických formulí na bázi XML. Nativní formát aplikací typu OpenOffice.org, StarOffice, atd. do té doby, než byl vyvinut novější Open-

16 Teoretická východiska 16 Document formát Textový formát (TXT) Obyčejný textový formát, neboli plain text nám umožňuje napsat matematický vzorec pouze pomocí kláves dostupných na klávesnici, respektive pomocí znaků ASCII (Unicode) sady. Samozřejmě, že nikdy nedostaneme moc graficky uspokojivý výsledek. Pro zachycení nejjednodušších matematických operací nicméně tento formát stačí. Jako formu plain textu můžeme brát také AsciiMath. Psaní matematiky za použité ASCII znaků je vhodné, pokud mluvíme o jednoduchých výrazech k zaslání například v ové zprávě. Máme jistotu, že co je napsané pomocí ASCIIMathu, dokáže přečíst úplně každý bez ohledu na to, jestli jeho prohlížeč podporuje matematickou sazbu. Zlomek zapíšeme například takto: 1/(2x) nebo x MathML (MML) Mathematical Markup Language vychází z rodiny jazyka XML, vytvořeného konsorciem W3C a současně je součástí jazyka HTML5. Je známo, že na vědecké půdě je kladen důraz na přesnost a kvalitu zápisu, proto byl jazyk MathML navržen tak, aby splnil veškeré pestré požadavky vědecké komunity. Jeho tvůrci si vytyčily tyto nejdůležitější cíle (W3C, 2013): 1. Zobrazit matematický materiál vhodný pro výuku a vědecké výpočty na všech úrovních 2. Ukázat v matematickém zápisu i význam výrazu 3. Zprostředkovávat konverzi z a do jiných matematických formátů, včetně prezentačních a sémantických. Výstupní formáty by měly zahrnovat: grafické displeje, další matematické typografické jazyky jako TEX, zobrazování jednoduchého textu, tiskárny a Braillovo písmo. 4. Poskytovat rozšiřitelnost a být integrovatelný do šablon a jiných forem pro zápis vzorců 5. Kód by měl být bezproblémově čitelný pro člověka a jednodušše upravitelný

17 Teoretická východiska 17 a vytvořitelný softwarem Zápis matematických vzorců v jazyce MathML je na pohled objemnější než zápis například v TEXu a pro člověka je i hůře čitelný jeho obsah, ale právě jeho struktura umožňuje valné využití např. ve webových prohlížečích či jiných matematických programech. Velkou výhodou je možnost uchování jak struktury, tak i významu matematického textu. K zápisu se používají významové (určují přímý význam matematické formule, jedná-li se o vektor, množinu, apod.) a prezentační (určují, jakým způsobem se bude vzorec zobrazovat) elementy (W3C, 2013) Extensible Markup Language (XML) XML je značkovací jazyk vytvořený konsorciem W3C jako zjednoduššená verze jazyka SGML. Umožňuje vývojáři vytvářet nové značky. Hlavním cílem XML je zápis struktury dokumentu. Struktura XML dokumentu se dělí na logickou (rozděluje dokument do pojmenovaných jednotek nazývaných elementy) a fyzickou (umožňuje pojmenovat a uložit samostatné části dokumentu). (Kosek, 2000) K upravování dokumentu formátu XML stačí obyčejný textový editor. Jazyk XML je uznávaný jako standard a existuje k němu mnoho api (application programming interface). Hlavní použitelnost XML (Faigl, 2013): 1. Publikování na webu pomocí značek se dobře vyhledává 2. Publikování v různých formátech využití konverze XML do libovolného formátu 3. Výměna strukturovaných dat odstranění problému kompatibility TEX Od vzniku sázecího systému TEX amerického matematika Donalda Knutha již uplynulo hodně let, ale i přes to a přes svoji uživatelskou nepřívětivost je to stále výborný nástroj pro sázení matematiky. Byl koneckonců vyvinut pro matematické a vědecké účely a především na akadamické půdě si pořád drží své místo. Nutno podotknout, že se za léta vývoje čím dál méně bavíme o základním TEXu, ale spíše o jeho uživatelsky přívětivějších nadstavbách (balíků maker) jako jsou plaintex, MikTEX nebo L A TEX. Sázecí systém TEX má svůj speciální matematický mód pro tvoření matematických formulí aktivovaný a deaktivovaný párovým znakem dolaru nebo dvojznakem

18 Teoretická východiska 18 dolaru. K použití TEXu potřebujeme zpravidla jeho odpovídající implementaci, která zahrnuje kromě samotného překladače a sad řídicích sekvencí pro různá použití také prohlížeče, konvertory a jiné doplňky. (Grafika, 2004) Pro sazbu matematiky se nejlépe hodí rozšíření Ams-L A TEX, které poskytuje velké množství příkazů, rozšiřujících možnosti matematické sazby a také velké množství nových symbolů Postscript (PS), JPG, GIF, PNG a jiné grafické formáty Rastrové obrázky jsou bezesporu důležitou a dodnes velmi používanou formou zobrazení matematických formulí. Příkladem je obrovsky populární webová encyklopedie Wikipedia, která sice ke generování matematických vzorců používá systém TEX, ale ve výsledném zobrazení na webu jsou použity pouze grafické formáty. Zobrazení matematiky pomocí obrázku má však několik úskalí (EVLM, 2013): Každá matematická formule je uložena v samostatném obrázku. Velikost dokumentu by se mohla rapidně zvětšit s počtem a kvalitou vložených obrázků. Velikost, font, styl a jiné možnosti není možné nastavit v dokumentu. Jsou spjaté přímo s konkrétním obrázkem. Matematické objekty uložené jako obrázek nelze kopírovat a vkládat do jiných aplikací. Rovnice v obrázcích se hůře čtou, vidí a jsou méně kvalitní, než okolní text v prohlížeči. Tento problém se ještě rozšíří v okamžiku tisku. Rozlišení obrázků bývá kolem 70 dpi, zatímco okolní text je v křivkách, tedy bezztrátový Portable Document Format (PDF) Formát pro přenositelné dokumenty byl vyvinut jako univerzální souborový formát firmou Adobe. Pdf soubory jsou jednodušše uložitelné a přenositelné nezávisle na systému a hardwaru. Matematické vzorce vložené do souboru formátu PDF jsou ve velmi dobré kvalitě a svým rozlišením jsou vhodné i pro tisk. Určitou nevýhodu může být použití speciálního softwaru pro prohlížení a editaci. Ve webových prohlížečích se o korektní zobrazení PDF obsahu starají přídavné moduly. Je důležité říci, že formát PDF, naproti třeba TEXu nebo MathML neslouží k přímému vytvoření matematických vzorců, ale dá se spíše připodobnit ke grafickým formátům. (Portable Document Format, 2013)

19 Teoretická východiska HyperText Markup Language (HTML) Značkovací jazyk HTML byl první rozšířenou aplikací jazyka SGML. Nabízí možnost zápisu spíše jednodušší matematiky. Jazyku totiž chybí dostatečné množství značek pro různé matematické struktury. Výhodou je nutnost použití pouze jednoduchého HTML editoru a znalost jednoho jazyka k dobrání se kýženému výsledku. Podle zvoleného kódování máme možnost vložit do HTML kódu znaky podle čísla v ASCII tabulce. To lze provést zápisem &#číslo. Pro zobrazení matematických objektů, které nejsou pokryty párovými znaky jazyka musíme sáhnout po běžně používaných znacích. Známý vzorec pro výpočet kořenů polynomu vypadá v jazyce HTML takto: <b> <pre> -b ± Sqrt(b² - 4ac) x = a </pre> </b> Aktuální verze HTML 5.0 již podporuje vnitřní použití MathML tagů. Ke správnému zobrazení je nutný prohlížeč podporující MathML. (Tutorialspoint, 2013) Rich Text Format (RTF) Textový formát vytvořený společností Microsoft v roce Podporuje jak plain text, tak také objekty OLE, kresby nebo komentáře. Rich text formát je možné editovat v prosté textové podobě, tudíž k jeho otevření nepotřebujeme žádný speciální editor Starmath formát (SMF) a podobné formáty kancelářských balíku založených na OpenOffice Formát pro matematický zápis aplikace StarMath kancelářského balíku StarOffice. Vlastnosti jsou stejné jako u formátu sxm. Takovýto podobný formát mají i ostatní

20 Teoretická východiska 20 balíky typu OpenOffice Standard Generalized Markup Language (SGML) Většina probíraných formátů a jazyků vychází z normy SGML (Standard Generalized Markup Language). SGML je značkovací metajazyk, od roku 1986 je standardem ISO 8879 pro textové a kancelářské systémy (SGML, 2013). Pro matematické využití se ale ukázal býti příliš složitý. (Kamthan, 2000) 2.3 Programové vybavení Pokud zamýšlíme vytvořit nějaký druh matematického objektu, máme prakticky tři možnosti. Buď využijeme jeden z textových editorů (procesorů), který nějakým způsobem podporuje tvorbu vzorců nebo formuli vytvoříme ve WYSIWYG editoru a následně ji do dokumentu uložíme jako rastrový obrázek, nebo jako část kódu (TEX, MML), pokud práci s ním daný editor podporuje. Poslední volbou pro zdatnější uživatelé je ruční vytvoření kódu, pokud máme dostatečné znalosti syntaxe. Do výběru programů byly zahrnuty nejznámější placené i otevřené kancelářské balíky, pak také samostatné matematické editory a software pracující pouze ve webovém prostředí Apache OpenOffice.org V balíku OpenOffice se o matematiku stará modul Math, který se automaticky spouští ve všech součástech OpenOffice, pokud chceme vložit matematický objekt. Druhou možností je manuální spuštění Mathu jako samostatného editoru. Velmi zajímavá je možnos dvojího způsobu vytváření matematického výrazu. Základní obrazovka je totiž rozdělena na dvě části. V jedné vidíme přímo vykreslený vzorec (můžeme zde vkládat objekty z ne moc bohaté nabídky) a v druhé jeho zápis ve vnitřní syntaxi. Výhoda tkví v možnosti zápisu vlastní matematické formule s přiměřenou znalostí skriptovacího jazyka (který se tolik neliší například od TEXu). Export matematických objektů je možný do formátu PDF s nastavením ztrátovosti, HTML, RTF, TXT, MathML 1.01 a nativních ODF a SXM. (OpenOffice, 2013)

21 Teoretická východiska LibreOffice LibreOffice je otevřený kancelářský balík používající formáty Open document. Stejně jako v sadě OpenOffice.org je jeho součástí kromě jiných i aplikace Math. (LibreOffice, 2013) Microsoft Office Kancelářský balík od firmy Microsoft využívá od verze z roku 2007 k psaní vzorců svoji vlastní aplikaci. Druhou, starší alternativou je externí program od společnosti Design Science s názvem Equation editor, který vkládá vzorec do dokumentu v podobě objektu. K balíku MS Office bylo vyvinuto bezpočet různých pluginů, které umožňují pracovat s formáty jako TEX (např Aurora) nebo MathML (MathType SDK), nativně ale tyto formáty podporovány nejsou a musíme si vystačit s interním formátem omath (Office Open XML Math) pro zápis matematických objektů. (Microsoft, 2013). Odlišné chování vzorců vytvořených oběma způsoby si ukážeme v další kapitole CAS nástroje (Maple, Maxima, Mathematica, ) Skupina složitějších vědecko-algebraických aplikací, které podporují vykreslování grafů, matematické výpočty,atd. Programy často využívají svůj programovací jazyk k vytváření skriptů, který je možný převádět do dostupných jazyků, jako jsou C++, Java, atd. Soubory je možné ve většině případů exportovat do známých formátů jako XML nebo TEX a tím zajistit výbornou přenositelnost mezi odlišnými systémy. Z důvodu větší komplexnosti jsou tyto nástroje poměrně dosti drahé. (CAS, 2013) Moodle Moodle je modulové objektově orientované dynamické vzdělávací prostředí, které umožňuje vytvářet on-line kurzy k výuce. Disponuje příjemným uživatelským roz-

22 Teoretická východiska 22 hraním, neklade přílišné požadavky na počítačovou gramotnost a nevyžaduje ke spuštění žádný speciální prohlížeč. Moodle k editaci textu využívá jednoduchý editor, svými funkcemi podobný nejznámějším textovým procesorům. K tvorbě matematických objektu je použita v Moodle nadstavba DragMath. (Dougiamas, 2013) DragMath DragMath je open-source editor matematických rovnic napsaný v programovacím jazyku JAVA. Matematické výrazy zvládne exportovat do několika jazyků, včetně MathML, L A TEXu nebo Maplu. Aplikace je spustitelná přímo v internetovém prohlížeči. (Dragmath, 2010) Tvorba vzorců probíhá trochu krkolomně stylem WYSIWYG stejně jako například v MathTypu. Každý matematický objekt má v hlavním menu svoji šablonu, která se po kliknutí přímo přenese na hlavní obrazovku s prázdnými místy pro doplnění MathCast MathCast je open-source editor rovnic vytvořený v jazyce JavaScript. K implementaci starších verzí posloužil jazyk C++. Rovnice vytvořené v editoru MathCast můžeme exportovat jako obrázek nebo MathML kód. (Mathcast, 2013) Formula Sheet Equation Editor Jedná se o on-line aplikaci spustitelnou v prohlížeči s výstupem do formátu TEX, PDF a PNG. Umožňuje také jedním kliknutím kopírovat matematické objekty do MS Word 2007 a novějších verzí (formát DOCX). Kompatibilita s MS Equation editorem je perfektní.

23 Teoretická východiska Lyx Lyx je textový procesor, založený na principu WYSIWYM (What you see is what you mean). Kombinuje v sobě složitost a rozmanitost TEXového, resp. L A TEXového zápisu s jednoduchostí grafického rozhraní a paletového výběru po vzoru Wordu. (Lyx, 2013) Exportovat soubory lze do formátů PDF, L A TEX, TXT nebo postscript. Zápis matematických vzorců zvládne i začátečník díky obrazovému menu a časem se i naučí i TEXovou syntaxi, protože editor obsahuje také náhled zdrojového kódu MathMagic Velice rozšířeným nástrojem na tvorbu rovnic je program MathMagic od společnosti InfoLogic, který je dostupný pro platformy Mac OS X, Windows a Android. Jedná se o editor na podobné úrovni jako MathType. Hotové matematické vzorce lze exportovat do formátů TEX, L A TEX, MathML nebo AsciiMath. Jeho velkou výhodou je také spolupráce s webovou aplikací Google documents a matematickým softwarem Wolfram Alpha nebo Zoho, s jejichž formáty si MathMagic skvěle rozumí. Samozřejmostí je export do formátů obrázků PDF, JPEG, GIF nebo třeba PNG. MathMagic je vyvíjen od roku 1998 a v dnešní době je nabízen ve třech verzích, Personal edition, Lite edition nebo Pro edition. Nainstalovaná aplikace zabere kolem 30 MB volného místa na disku a její cena je od 49 dolarů za verzi pro studenty po 695 dolarů za Pro verzi s dvouletým bezplatným upgradem (Mathmagic, 2013) MathType Tento program od společnosti Design Science je velice mocným nástrojem na tvorbu matematických vzorců a jejich následné kódování do TEXu (LaTEXu) nebo MathML nebo jen prosté uložení do některého z obrázkových formátů. MathType podporuje znakovou sadu Unicode, mezinárodní znaky a umožňuje jejich zadávání přímo z klávesnice. Jako doplněk na vkládání rovnic se používá ve známých aplikacích jako jsou MS Word, Corel WordPerfect nebo LibreOffice.

24 Teoretická východiska 24 K tvorbě matematických rovnic je uživateli k k dispozici kromě WYSIWYG menu s přednastavenými výrazy také možnost zadávání vzorců skrze dotykovou obrazovku pomocí stylusu. K dispozici je uživateli 30denní zkušební verze zdarma, poté je nutné si produkt zakoupit za 97 dolarů (57 dolarů pro studenty). Nároky na hardware jsou naprosto minimální. (Design Science, 2013a). Uživatelské prostředí MathTypu je velice přívětivé a jednoduché. Skládá se z hlavního panelu, kde je obsaženo několik palet a šablon pro vkládání matematických objektů a hlavního zobrazovacího okna. Předpřipravené šablony zahrnují většinu známějších objektů jako mocniny, integrály, matice, limity, nebo sumy. Proces tvorby rovnice je intuitivní. Z výběrového menu zvolíme požadovaný objekt, který se po poklikání přenese do zobrazovací části s prázdnými místy pro vložení obsahu. Poté máme k dispozici z několika možností překladu do ruzných formátů TEXu a MathML. Převod realizujeme tak, že v nabídce překladačů v záložce Preferences zvolíme námi preferovaný formát a celou formuli pak jednodušše zkopírujeme Google Documents Google Documents představují sadu on-line nástrojů pro vytváření textových dokumentů, tabulek a prezentací. Jedná se o všestrannou aplikaci, která zefektivňuje spolupráci více uživatelů i v reálném čase. K využívání programu potřebujeme pouze počítač připojený k internetu a standardní webový prohlížeč. (Google, 2013) Pro textové dokumenty jsou možné konverze z interního Google formátu do formátů DOCX, ODT, RTF, PDF nebo obyčejného TXT. Google Docs mají svůj vlastní editor na vkládání matematických vzorců. Funkčnost je řešena výběrem objektů z palety nebo přímým psaním LaTEXového kódu. Např. při zapsání \alpha se zobrazí znak α Panel pro matematický zápis ve Windows 7 Tato zajímavá aplikace umožňuje pomocí kurozoru myši či stylusu napsat matematický vzorec, jehož znaky jsou automaticky rozpoznávány a vysázeny tisknutelným písmem. Poté máme možnost vložit formuli do aplikace, která podporuje MathML.

25 Konverze 25 3 Konverze Tato kapitola má za úkol objasnit odlišnosti v konverzích mezi jednotlivými formáty a stanovit kvalitu každé konverze. Provedou se konverze všech známých matematických výrazů mezi všemi zkoumanými programy z minulé kapitoly. 3.1 Určení kvality konverze V programech typu textového procesoru byl vytvořen stejný dokument se sadou matematických objektů a ten byl následně konvertován do ostatních formátů, které daný software nabízí. Byla zvolena čtyřstupnňová klasifikace, která postačuje pro základní posouzení kvality konverze: 1. Přesné přenesení bez nedostatků 2. Jemné nedostatky chyby jen kosmetického charakteru. Pro příklad je zde uvedeno zobrazení integrálu s mezemi nad a pod znakem integrálu a následná konverze, která meze samovolně posune do míst indexu a exponentu. Význam výrazu je po takové konverzi zachován. Příklad je reálna konverze z formátu ODT do DOCX. 3. Výraznější chyby u výrazu chybí podstatné části, které ovlivňují jeho význam. Zde je uveden stejný příklad konverze integrálu, avšak tentokrát je konverze provedena opačně. Integrál s mezemi v indexu a exponentu se po exportu zobrazí jako prostý integrál bez mezí. Příklad je reálná konverze z formátu ODT do DOCX. 4. Nic nepřevedeno nejdůležitějším kritériem je, zda-li se z jednoho formátu do druhého přenesla alepoň část výrazu Do seznamu matematických objektů, na nichž bude zkoumána konverze, byly zařazeny: zlomek zlomek ve zmenšeném formátu index a exponent integrál s mezemi integrál s mezemi na místě indexu a exponentu suma s mezemi matice kombinační číslo závorky automaticky měnící svoji velikost

26 Konverze 26 goniometrické funkce akcenty složitější limita aritmetické operátory násobení, dělení, znaménko menší, přibližně a rovnítko Kvalitu konverze názorně ukazují tabulky 3.1 až 3.5. Jako splnění nejvyššího stupně kritéria hodnocení se bere i konverze do obrázkového formátu, ikdyž tímto úkonem samozřejmě zcela zanikají editační možnosti matematického vzorce. Stupeň hodnocení klesne, ikdyž je většina výrazů zobrazena správně, ale objeví se alespoň jeden výraz, který spadá do nižšího stupně hodnocení. V matematických editorech typu MathType byl postup takový, že se vytvořily různé známé rovnice (např. rovnice pro výpočet kořenů polynomu), které se následně převáděly do dostupných formátů. Nakonec byla zhodnocena míra přesnosti zobrazení u jednotlivých programů. U formátu TEX posloužily pro kontrolu dostupné online nástroje na tvorbu matematických rovnic - např itex2img (dostupný z nebo Texify (dostupný z Microsoft Office 2010 Aplikace zahrnuté v MS Office jsou plně kompatibilní samozřejmě se všemi formáty vyvinutými společností Microsoft, ale v novějších verzích také s konkurenčními OpenOffice, ikdyž o tom by se dalo stále polemizovat. Např. formát omath pro zápis matematiky není plně kompatibilní s MathML, za což sklidil Microsoft velkou kritiku. Samozřejmostí jsou formáty jako PDF, HTML nebo TXT. Hodnocení konverzí je tady docela obtížné, protože v MS Office není možné ukládat vzorce v samostatném formátu, ale vždy jako součást dokumentu. Nutno podotknout, že po konverzi do ostatních formátů byly soubory jako RTF, ODT či XML spustitelné s korektně zobrazeným obsahem znovu jen v Microsoft Office. Ostatní programy podporující daný formát zobrazovaly vzorce pouze v podobě směsi znaků.

27 Konverze 27 Tabulka 3.1 Seznam vzorců vytvořený aplikací Equation editor dostupnou pro starší verze MS Office formáty hodnocení konverze docx výchozí formát doc 1 vše beze změny odt 1 vše zkopírováno jako bezztrátový obrázek png pdf 1 vše beze změny rtf 1 vše beze změny txt 4 nic nepřevedeno xml 1 vše beze změny html 1 vše zkopírováno jako obrázek png Seznam vzorců vytvořený nativním editorem (MS Office 2007 a no- Tabulka 3.2 vější) formáty hodnocení konverze docx výchozí formát doc 1 vše zkopírováno jako rastrový obrázek odt 3(2) kompatibilní s Math editorem. Ignoruje zobrazení zmenšeného zlomku, kombinačního čísla a akcentu pdf 1 vše beze změny rtf 1 vše beze změny txt 3 většina výrázů zkopírována pomocí nejrůznějších znaků ASCII sady, odlišné postavení mezí integrálu, akcentů xml 1 vše beze změny html 1 vše zkopírováno jako obrázek png 3.3 OpenOffice.org S formáty XML a RTF je stejný problém jako v MS Word. Korektně se zobrazí zase jen v aplikaci, ve které byly vytvořeny.

28 Konverze 28 Tabulka 3.3 Seznam vzorců vytvořený v OpenOffice Writer aplikací Math formáty hodnocení konverze odt výchozí formát sxw 1 vše beze změny doc 1 vše zkopírováno správně jako objekt OpenDocument. Nepodařilo se ale objekt editovat, ikdyž byly OpenOffice(LibreOffice) korektně nainstalované docx 3(2) kompatibilita s nativním editorem. Meze integrálu v místě indexu a exponentu nejsou zobrazeny, zatímco meze nad a pod integrálem se zobrazí jako index a exponent. Ignoruje aplikaci funkce na argument pdf 1 vše beze změny rtf 1 vše zkopírováno jako rastrový obrázek txt 4 nic nepřevedeno xml 1 vše beze změny html 1 vše zkopírováno jako obrázek gif 3.4 Google Documents Dostupný je velmi zjednoduššený výběr matematických objektů. Chybí zmenšený zlomek, meze integrálu nejdou zapsat jako index a exponent, matice nelze zapsat, omezené množství akcentů. Naštěstí lze dost objektů, které nejsou v nabídce zapsat L A TEXovou syntaxí (kombinační číslo).

29 Konverze 29 Tabulka 3.4 Seznam vzorců vytvořený aplikací Google Documents formáty hodnocení konverze odt 1 vše zkopírováno jako rastrový obrázek docx 2 kompatibilita s editorem Equation. Nepřesné přenesení mezí integrálu. Celkově chybné vyplnění volných míst (např. u znaku integrálu si editor Equation nechá volná okénka pro meze a základ integrálu. Po přenesení zůstávají některá okénka prázdná pdf 1 vše beze změny rtf 1 vše zkopírováno jako rastrový obrázek txt 4 nic nepřevedeno html 1 vše zkopírováno jako obrázek png Google Documents se samozřejmě kromě uložení souborů do různých formátů chlubí také jejich načtením, pokud byly dříve vytvořeny jinou aplikací. Zobrazení je bohužel dosti nepřesné, pokud se vůbec uskuteční. Seznam vzorců vytvořený jinými aplikacemi, načtený Google docu- Tabulka 3.5 ments formáty aplikace hodnocení načtení docx nativní editor 4 nenačte žádný matematický objekt Equation editor 3 nenačtou se akcenty, finální vzhled vzorce vypadá jinak (odlišné postavení závorek) odt editor Math 4 nepodaří se načíst dokument, neexistuje ani náhled rtf MS Word 4 nepodaří se načíst dokument, neexistuje ani náhled 3.5 Editor Math balíku OpenOffice.org (LibreOffice) Při samostatném spuštění aplikace Math máme možnost konverze vzorce do formátů MML, ODF a SXM. Za velkou nevýhodu lze považovat absenci TEXu a nemožnost exportu do rastrového obrázku.

30 Konverze 30 Rovnice na výpočet kořenů polynomu vypadá ve formátu MML takto: <?xml version="1.0" encoding="utf-8"?> <math xmlns=" <semantics> <mrow> <mfrac> <mrow> <mrow> <mrow> <mo stretchy="false">-</mo> <mi>b</mi> </mrow> <mo stretchy="false">±</mo> <msqrt> <mrow> <mrow> <msup> <mi>b</mi> <mrow> <mn>2</mn> </mrow> </msup> <mo stretchy="false">-</mo> <mn>4ac</mn> </mrow> </mrow> </msqrt> </mrow> </mrow> <mrow> <mn>2a</mn> </mrow> </mfrac> </mrow> <annotation encoding="starmath 5.0">{-b+-sqrt{b^{2}-4ac} {2a} </annotation> </semantics> </math> } over Ve výsledku lze pozorovat použití parametru stretchy="false" při každém po-

31 Konverze 31 užití mo znaku. V uvedeném příkladu je to ale dosti zbytečné. Chybou je zde použití párových znaků mn pro celý výraz (v tomto případě třeba 4ac), přižemž by měla být jeho využitelnost jen u číselných hodnot, případně pro jejich slovní interpretaci (jedna). Závorky program Math zobrazuje s použitím tagů mfenced. 3.6 MathType V MathTypu můžeme vytvořený vzorec přímo uložit jako soubor GIF, postscript nebo WMF. Další možností je překlad kódu vzorce do jazyků TEX, L A TEX (i s nadstavbami AMS TEX/L A TEX) a MathML (verze 1.0 a 2.0). Všeobecně známá rovnice pro výpočet kořenu polynomu vypadá v kódování L A TEXu programem MathType takto: \[ \frac{{ - b \pm \sqrt {b^2 \] - 4ac} }}{{2a}} V kódování TEXu takto: $$ {{ - b \pm \sqrt {b^2-4ac} } \over {2a}} $$ V kódování MathML verze 2.0 takto: <math display='block'> <semantics> <mrow> <mfrac> <mrow> <mo> </mo><mi>b</mi><mo>±</mo><msqrt> <mrow> <msup> <mi>b</mi> <mn>2</mn> </msup> <mo> </mo><mn>4</mn><mi>a</mi><mi>c</mi> </mrow> </msqrt>

32 Konverze 32 </mrow> <mrow> <mn>2</mn><mi>a</mi> </mrow> </mfrac> </mrow> <annotation encoding='mathtype-mtef'> </annotation> </semantics> </math> V podání aplikace MathType jsou i často používané operátory interpretovány svým kódovým značením v Unicode sadě. Závorky MathType řeší tagem mo. 3.7 MathCast V programu MathCast je konverze kromě obrázku možná pouze do formátu MathML. Výsledek převodu rovnice je následující: <?xml version="1.0" encoding="utf-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN" " [<!ENTITY mathml ' <html xmlns=" <head><title>mathcastrovnice</title> <!-- MathML created with MathCast Equation Editor version > </head> <body> <math display="block" xmlns=" <mrow> <mi>x</mi> <mo>=</mo> <mfrac> <mrow> <mrow> <mo>-</mo> <mi>b</mi>

33 Konverze 33 </mrow> <mo>±<!--plus-minus SIGN--></mo> <msqrt> <mrow> <msup> <mi>b</mi> <mn>2</mn> </msup> <mo>-</mo> <mrow> <mn>4</mn> <mo> <!--INVISIBLE TIMES--></mo> <mi>a</mi> <mo> <!--INVISIBLE TIMES--></mo> <mi>c</mi> </mrow> </mrow> </msqrt> </mrow> <mrow> <mn>2</mn> <mo> <!--INVISIBLE TIMES--></mo> <mi>a</mi> </mrow> </mfrac> </mrow> </math></body> </html> Po exportu je MathML kód vložen do HTML kódu, což může být v některých situacích výhodné, ale také naopak. Plusem můžou být zakomentované vysvětlivky při použití kódu z Unicode sady znaků. 3.8 MathMagic Aplikace MathMagic využívá nejvíce potenciál jazyka MathML v podobě parametrů. L A TEX: \[

34 Konverze 34 %Translator MathMagic Personal Winv7.4,LaTeX converter, \mathrm{\frac{{-}{b}\pm\sqrt{{b}^{2}{-}{4}{ac}}}{2a}} \] TEX: $$ {{-b\pm\sqrt{b^{2}-4ac}}\over{2a}} $$ MathML: <!--MathMagic Personal Win v7.4,mathml 2.0 converter, > <math xmlns=" <semantics> <mstyle mathcolor="#000000"mathsize="12.0pt"mathvariant="normal"> <mfrac> <mrow> <mo> </mo> <mi mathvariant="italic">b</mi> <mo>±</mo> <msqrt> <mrow> <msup> <mi mathvariant="italic">b</mi> <mn mathsize="50.0%">2</mn> </msup> <mo> </mo> <mn>4</mn> <mi mathvariant="italic">ac</mi> </mrow> </msqrt> </mrow> <mrow> <mn>2</mn> <mi mathvariant="italic">a</mi> </mrow> </mfrac> </mstyle> </semantics> </math>

35 Konverze DragMath Vzorec na výpočet kořenů polynomu lze v aplikaci DragMath vytvořit také, ovšem je třeba si zvyknout na poněkud divný systém vkládání objektů z hlavního menu. Aplikace navíc do formule automaticky přidává závorky nebo například operátory. Tím se celý výraz stává, co se kódu týká, trochu složitějším. Je také nutné upozornit na odlišnou interpretaci některých znaků v jazyce MathML. Zatímco ostatní programy standardně používají k vyznačení méně častých znaků jejich unicodové identifikační číslo, aplikace Dragmath tento problém řeší zapsáním například &minus nebo &PlusMinus pro operátory a ±. L A TEX: \frac{-\left(b\right) \pm \sqrt{b^{2}-4 \cdot ac} }{2 \cdot a}} MathML: <math xmlns=" <mfrac> <mrow> <mo> </mo> <mfenced> <mrow> <mi>b</mi> </mrow> </mfenced> <mo> &PlusMinus; </mo> <msqrt> <mrow> <msup> <mrow> <mi>b</mi> </mrow> <mrow> <mn>2</mn> </mrow> </msup> <mo> </mo> <mn>4</mn> <mo> </mo> <mtext>ac</mtext>

36 Konverze 36 </mrow> </msqrt> </mrow> <mrow> <mn>2</mn> <mo> </mo> <mi>a</mi> </mrow> </mfrac> </math> Maple a Maxima: (-(b)±sqrt(b^2-4*ac))/(2*a) MoodleTEX: $$ \frac{-\left(b\right) \pm \sqrt{b^{2}-4 \cdot ac} }{2 \cdot a} $$ AsciiMathML: ` (-(b) +- sqrt{b^{2}-4 * ac} )/(2 * a) ` 3.10 Lyx V editoru Lyx lze vzorec vytvořit logicky ve formátu TEX, přesněji jsou nabízeny varianty XeTEX, LuaTEX a L A TEX. Dále je export možný do formátu HTML, TXT, ODT nebo AsciiMath. Rovnice vypadá po konverzi takto: L A TEX: \[ x=\frac{-b\pm\sqrt{b^{2}-4ac}}{2a} \] AsciiMath: x=-b+-pb2-4ac2a1

37 Konverze Formula Sheet Equation Editor Tento online nástroj na editaci rovnic má skvělou kompatibilitu s MS Office Equation editorem. Dalšími možnostmi je konverze do formátu PNG a TEX. U vytvořených rovnic lze nastavit rozlišení, použitý font a barvu. Rovnice pro výpočet polynomů vypadá takto: \begin{equation} \frac{-b\pm\sqrt{b^{2}-4ac}}{2a} \end{equation} 3.12 Panel pro matematický zápis Korektní přenesení se podařilo uskutečnit pouze v aplikaci MS Word 2010 a vyšší Závěr a doporučení Doporučit nějaké obecně vhodné pravidlo pro konverzi objektů ve formátech kancelářských balíků je složité. Nejlépe uživatel udělá, když se bude držet formátu, v kterém byl daný objekt vytvořen. Toto pravidlo jen potvrzuje matematický editor společnosti Microsoft, který podporuje jen svůj vlastní formát omath. V případě konverze je nejbezpečnější převést matematický vzorec do některého z obrázkových formátů. Dle hodnocení kvality konverze se ukázalo, že mezi kancelářskými balíky neexistují formáty, které by mezi sebou byly plně kompatibilní a dokázaly mezi sebou převádět výrazy bez chyby. Po stránce přenositelnosti formátů mezi jednotlivými programy jsou na tom nejlépe formáty TEX, MML a samozřejmě také plain text. U těchto formátů se obsah kódu mění v jednotlivých programech po konverzi jen velmi minimálně a často jen v detailech odvozených od použití odlišné verze jazyka (myšleno predevším v případě TEXových nadstaveb). Narozdíl od TeXové reprezentace, kdy všechny programy dávaly víceméně stejný výstup s ohledem na použitou nadstavbu, ve formátu MML se výstupy lišily v množství použitých paramtetrů. Nejsložitější MathML kód exportuje program MathMagic. Pokud bereme v úvahu kvalitu formátů co se týče přesnosti zobrazení a co nejvyšší

38 Konverze 38 vyjadřovací schopnosti, zase by se daly doporučit formáty MathML a TEX, jejichž robustnost zápisu nemá konkurenci. Kvalita konverze se tedy logicky odvíjí od toho, z jakého a do kterého formátu ji pořizujeme. Asi těžko se provede kvalitní konverze z TEXu do TXT, když výstupní formát zkrátka nenabízí takové matematické možnosti jako vstupní. Doporučení je konvertovat matematické objekty mezi formáty u kterých víme, že dokáží pojmout danou problematiku (v dostupných editorech jsou většinou v nabídce takové formáty, aby se v jejich exportované interpretaci daný vzorec kvalitativně nezměnil. Situace ve využití formátů pro sazbu matematiky se má tak, že mnoho jedinců, používajících matematické vzorce jen přiležitostně asi nejčastěji sáhne po nějakém textovém procesoru jako MS Word nebo OpenOffice.org, kde si v klidu vystačí s nabízenými paletami různých matematických objektů. Je tu také varianta výběru z řady editorů, které umožňují uložit výstup jako obrázek. To vše v případě občasného použití matematiky v dokumentu. V případě častější manipulace se složitějšími matematickými objekty, včetně přenášení mezi aplikacemi se jako nejvýhodnější jeví zvolit jazyk TEX a jazyk MathML. Tyto dva formáty jsou natolik rozsáhlé a variabilní a poskytují dostatek možností pro vytvoření i těch nejsložitějších matematických objektů. Protože je tvoření MathML kódu velice zdlouhavé a složité, nemluvě o náchylnosti k chybě, vzniklo postupně od jeho počátku mnoho aplikací umožňujících tvorbu vzorců ve formátu MML. Pokud by bylo požadováno takto vytvořené vzorce začlenit například do bakalářských či diplomových prací, hodí se z důvodu větší přehlednosti a jednolitosti (právě závěrečné práce se často píší ve formátu TEX ) jednoduchá konverze do některého z TEXových formátů. Praktická část této práce se proto zabývá iplementací jednoduchého konvertoru z formátu prezentačního MathML do formátu TEX.

39 Hlubší souvislosti matematické sazby 39 4 Hlubší souvislosti matematické sazby Tato kapitola blíže zkoumá jazyky TEX a MathML, které budou použity v prakticé části práce. 4.1 TEX Systém TEX je stále velice kvalitní nástroj pro sázení matematiky. Byl koneckonců vyvinut pro matematické a vědecké účely a především na akadamické půdě si pořád drží své místo. V této kapitole se podíváme podrobněji na možnosti sazby různých typů matematických objektů v prostředí TEXu i jeho nejnámější nadstavby L A TEXu. name: /img/princip-texu.png file: /img/princip-texu.png state: unknown Obrázek 4.1 Jednoduchý princip práce systému TEX (L A TEX), zdroj: gjszlin.cz, 2013