Skip to content

GitLab

Commit edc0a928 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-05-02 11:36:58 by cvscast] Empty log message 

Original author: cvscast
Date: 2003-05-02 11:36:59+00:00
parent 77a36f19
Hide whitespace changes
Inline Side-by-side
tests/RIAM/livre.css deleted 100644 → 0
View file @ 77a36f19
body {
background: #c63d0b;
margin: 0 0 0 0;
padding: 1ex 1em 3ex 1em;
}
a:link:hover, a:visited:hover {
text-decoration: none;
background: #FFFFD0;
color: #FF0000;
}
h1 {
color: #FFFFFF;
text-align: center;
margin: 0ex 0em 0ex 0em;
padding: 0ex;
font: bold 500% helvetica;
}
h2 {
background: #FFF0F0;
color: #0000FF;
padding: 0.5ex 0 0.5ex 1em;
margin: 0 0 0 0;
font: bold 150% helvetica;
}
h3 {
font: bold 100% helvetica;
color: #008000;
padding: 0 0 0 1em;
margin: 1em 0 0 0;
}
h4 {
padding: 0 0 0 2em;
margin: 0 0 0 0;
font: bold 60% sans-serif;
}
p {
text-align: justify;
margin: 1ex 1em 0 1em;
}
pre {
margin: 1ex 1em 0 1em;
}
div.abstract {
font: bold 80% helvetica;
margin: 1ex 1em 1ex 1em;
padding: 1ex 1em 1ex 1em;
background: #D0F0FF;
}
div.abstract p {
font: 100% sans-serif;
}
#Sidelog {
position: absolute;
top: 10px;
left: 10px;
width: 190px;
background-color: #cfcd72;
border: 1px dashed black;
padding: 5px 5px 0px 5px;
font-size:11px;
font-family: arial, helvetica, sans-serif;
color: black;
}
#Content {
margin:10px 1em 10px 225px;
padding:10px 20px 10px 20px;
color:black;
background-color:#fccead;
border:1px solid black;
}
div.box {
background: #FFFFFF;
border: solid 2px #000000;
margin: 2ex 1em 2ex 1em;
padding: 0ex 0ex 0.5em 0ex;
}
div.title {
background: #2a7dc5;
color:#FFFFFF;
border: solid 2px #000000;
margin:10px 1em 10px 225px;
padding: 0ex 0ex 0ex 0ex;
}
div.meta {
background: #E0E0E0;
margin: 4ex 0.5em 0 0.5em;
border: solid 1px #B0B0B0;
padding: 0.5ex;
font-size: 80%;
font-family: sans-serif;
}
tests/RIAM/livre.xml deleted 100644 → 0
View file @ 77a36f19
<?xml version="1.0" encoding="iso8859-1" ?>
<!DOCTYPE book [
<!ENTITY mathml "http://www.w3.org/1998/Math/MathML">
]><book>
<title>MathDuce</title>
<author>
<name>Giuseppe Castagna</name>
<home>rue des Cerisier</home>
<euros>2300</euros>
</author>
<chapter title="Ordres">
<intro>
Utilisés dans des calculs, mais quand même appelés `nombres faux',
les nombres négatifs n'ont pas été acceptés facilement chez les mathématiciens formés selon la méthode euclidienne. Audébut du XIXème, Lazare Carnot les considère comme des fictions utiles au cours d'un calcul mais qui doivent disparaître à la fin du calcul.
Les Mathématiciens des dynasties Sonf et Yuan n'ont pas ces question: ils ont inventé des notation et des disposition spatialies pemettant de traiter comme des figures géométriques les polynômes, c'est-à-dire les sommes de puissances. Comme coefficients, les nombres négatifs apparaissent ax l'égal des positifs.
<img src="carnot_dia.gif"/>
</intro>
<section title="Lazare Carnot">
<img src="carnot.gif"/>
Ingénieur Carnot a d'abord écrit un traité théorique sur les machines. puis
devint député avec la Révolution, entra au Comité de salut public, ayant en
charge les armées. et on le salua comme organisateur de la victoire. Il
devint chef d'État en 1796, dut s'exiler l'année suivante et composa alors
des traités de géometrie, où il s'exprime contre les nombres
négatifs. Revenu en France, il s'oposa publiquement à la création de
l'Enpire de Napoléon, mais le soutint quand même juste avant Waterloo, et il
fut a nouveau exilé.
</section>
<section title="Ordre et comparaison">
Comparer deux réels <math xmlns="&mathml;"><mi>a</mi></math> et <math xmlns="&mathml;"><mi>b</mi></math> c'est chercher à savoir quel est le
plus grand (ou s'ils sont égaux). La propriété de base est celle-ci
<outline>
Dire que <math xmlns="&mathml;"><mi>a</mi></math> équivaut à dire que
</outline>
Ainsi, comparer <math xmlns="&mathml;"><mi>a</mi></math> et <math
xmlns="&mathml;"><mi>b</mi></math> revient à étudier le signe de a-b. Dans
la suite on considèredes inégalité strictes <math
xmlns="&mathml;"><mi>a</mi></math> mais tous les énoncés restent valables avec
des inégalités ``larges'' (a**=b).
<subs title="Ordre et addition">
<outline>
Si
</outline>
Autrement dit, ajouter (ou soustraire) un même nobre à chauqe membre d'une inégalité ne change pas le sens de l'inégalité.
<outline>
Si
</outline>
Autrement dit, en ajoutant membre a membre des des inégalités du meme sens, on obtient une inégalité de même sens.
d'où la règle de transposition: si x+a**b, alors x**b-a. En effet, pour obtenir ce résultat, il suffit d'ajouter -a aux membres de x+a**b
</subs>
<subs title="Ordre et multiplication">
<outline>
Si
</outline>
Autrement dit, multiplier (ou diviser) chaque membre d'une inégalité
(1) par un même nobre strictement positif ne change pas le sens de l'inégalité
(2) par un même nombre strictement négatif , change le sens de l'inégalité
<outline>
Si <math xmlns="&mathml;"><mi>a</mi></math>, <math xmlns="&mathml;"><mi>b</mi></math>, <math xmlns="&mathml;"><mi>c</mi></math>, et <math xmlns="&mathml;"><mi>d</mi></math> sont des réels positifs tel que <math xmlns="&mathml;"><mi>a**b</mi></math> <math xmlns="&mathml;"><mi>a**c</mi></math> alors <math xmlns="&mathml;"><mi>ac**bd</mi></math>
</outline>
Autrement dit, en multipliant mebre à membre des inégalités de même sens, entre nombre positifs, on obtinent une inégalité du même sens.
</subs>
</section>
<section title="Passage au carré, à la racine carée">
<subs title="Passage au carré, à la racine carée">
<outline>
<math xmlns="&mathml;"><mi>a</mi></math> et <math xmlns="&mathml;"><mi>b</mi></math> étant dexux noblre positifs distincts
</outline>
Autrement dit, deux nombres positifs et leurs racines carées sont rangés dans le même ordre. Car
</subs>
<subs title="Passage à l'inverse">
<outline>
Si
</outline>
Autrement dit, deux nobres strictement positifs sont rangés dans l'ordre contraire de leurs inverse
</subs>
</section>
</chapter>
</book>
tests/RIAM/publish.cd deleted 100644 → 0
View file @ 77a36f19
(* An approximation of HTML *)
type Flow = Char | Block | Inline ;;
type Block = P | Heading | Div | Lists | Table | Blocktext | Misc;;
type Lists = Ul;;
type Blocktext = Pre | Hr | Blockquote | Address | Center;;
type Inline = Char | A | Special | Fontstyle | Phrase ;;
type Fontstyle = Tt | I | B | Big | Small;;
type Phrase = Em | Strong | Code;;
type Special = Br;;
type Misc = Char | Image | Formula;;
type Html = <html>[ Head Body ];;
type Head = <head>[ Title <link>[ ]];;
type Title = <title>[ PCDATA ];;
type Body = <body bgcolor=?String>[ Block* ];;
type Div = <div>[ Flow* ];;
type P = <p>[ Inline* ];;
type Heading = <(`h1 | `h2 | `h3 | `h4)>[ Inline* ];;
type Ul = <ul>[Li+];;
type Li = <li>[ Flow* ];;
type Address = <address>[ Inline* ];;
type Hr = <hr>[];;
type Pre = <pre>[ (PCDATA | A | Fontstyle | Phrase | Br)* ];;
type Blockquote = <blockquote>[ Block* ];;
type Center = <center>[ Block* ];;
type A = <a ({ name = String } | { href = String })>[ (Inline \ A)* ];;
type Br = <br>[];;
type Em = <em>[ Inline* ];;
type Code = <code>[ Inline* ];;
type Strong = <strong>[ Inline* ];;
type Tt = <tt>[ Inline* ];;
type I = <i>[ Inline* ];;
type B = <b>[ Inline* ];;
type Big = <big>[ Inline* ];;
type Small = <small>[ Inline* ];;
type Table = <table border=?String; bgcolor=String; width=String>
[ <tr>[ <td>[ Flow* ]+ ]+ ];;
(* The type of the documents *)
type Book = <book>[ Title Author Chapter+ ];;
type Author = <author>[ Name HomeAddress Salary ];;
type Name = <name> String;;
type HomeAddress = <home> String;;
type Salary = <euros> String;;
type Chapter = <chapter title=String>[Intro Section+];;
type Intro = <intro>[(Content)+];;
type Section = <section title=String>[(Content | Subsection)+];;
type Content = Char | Image | Formula | Outline;;
type Image = <img src=String; style=?String; size=?String >[ ];;
type Formula = <math>[ Expr* ];;
type Expr = <mi>String
| <mo>String
| <mfrac>[Expr Expr];;
type Subsection = <subs title=String>[Content+];;
type Outline = <outline>[(Char | Formula)+];;
let book =
match load_xml "livre.xml" with
| Book & <_>b -> b
| _ -> raise "Document non valide";;
let fun treat_section ((<section title=t> s) : Section) : Block =
let fun temp(c:[(Content | Subsection)+]):[Block*] =
transform c with
<outline> x -> [<div class="abstract">x]
| <subs title=subt> x -> [<h3> subt] @ (temp x)
| x -> [x]
in
<div class="box">[ (*history*)
<center>[<h2>t]
!(temp s)
];;
let src : Html =
let [ <title>title
<author>[<name>name ;_]
<chapter title=ct>[ <intro>(intro&[(Flow&Content)+]|(intro:=`nil))
<section title=ht>(history&[(Flow&Content)+]|(history:=`nil))
(sections::_*)
] ;_
] = book in
<html xmlns="http://www.w3.org/1999/xhtml">[
<head>[ <title> title
<link rel="stylesheet"; href="livre.css"; type="text/css">[ ]
]
<body>[
<div class="title">[ <h1>ct ]
<div id="Sidelog">[
<b>[!title] ' par ' <i>[!name]
<div class="box">[] (*toc*)
<div class="box">[ (*history*)
<center>[<h2>ht]
<br>[]
! (map history with (x&<_>_) -> <center>[x] | x ->x )
]
]
<div id="Content">[
<div class="box"> (* intro *)
([<br>[]]@(transform intro with (x&<_>_) -> [<br>[] <center>[x]] | x -> [x] ))
]
<div id="Content">[
!(map sections with x -> treat_section x)
]
]
];;
let page : String =
[ '<?xml version="1.0" encoding="iso8859-1" ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
"http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd" [
<!ENTITY mathml "http://www.w3.org/1998/Math/MathML">
]>']
@
(transform [src] with
x -> print_xml x);;
dump_to_file "index_test.xml" page;;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment