Xcas: un logiciel libre de calcul formel
https://xcas.univ-grenoble-alpes.fr/forum/
https://xcas.univ-grenoble-alpes.fr/forum/viewtopic.php?f=5&t=1147
Code : Tout sélectionner
diff mathml.cc mathml.cc~
1048c1048
< case _FUNC: case _MAP:
---
> case _FUNC:
Code : Tout sélectionner
diff --git a/../../../windows/giac-1.1.0/src/mathml.cc b/mathml.cc
index 722f84c..91f30b5 100644
--- a/../../../windows/giac-1.1.0/src/mathml.cc
+++ b/mathml.cc
@@ -437,6 +437,14 @@ namespace giac {
return "<mo>∣</mo>"+gen2mathml(e._SYMBptr->feuille,contextptr)+ "<mo>∣</mo>";
}
+ static string mathml_printasunit(const gen e,GIAC_CONTEXT){
+ vecteur v = *e._SYMBptr->feuille._VECTptr;
+ if (v.size()!=2)
+ return "<mtext>"+e.print(contextptr)+"</mtext>";
+
+ return "<msub><mrow>"+gen2mathml(eval(v[0],eval_level(contextptr),contextptr),contextptr)+"</mrow><mrow>"+gen2mathml(v[1],contextptr)+"</mrow></msub>";
+ }
+
//---------------- Zone SVG ---------------
@@ -993,6 +1001,8 @@ namespace giac {
return mathml_printassum(e,contextptr);
else if (e.type==_SYMB && e._SYMBptr->sommet==at_abs)
return mathml_printasabs(e,contextptr);
+ else if (e.type==_SYMB && e._SYMBptr->sommet==at_unit)
+ return mathml_printasunit(e,contextptr);
else
switch (e.type){
case _INT_: case _ZINT:
mathml.diff (END)
Code : Tout sélectionner
macbookito(fred)$ cat mathml.diff
78a79,102
> //fred
> string string2mathml(const string & m){
> string s=m;
> string t="";
> string mat[4]={"&","<",">","\n"};
> string rep[4]={"&","<",">","</mi></mtd></mtr><mtr><mtd><mi>"};
> //start with & before adding new ones
> for(int siz=0;siz<4;siz++){
> int c=0,k=-1,le=s.length();
> while (c<le){
> k=s.find(mat[siz],c);
> if (k!=-1){
> s.replace(k,1,rep[siz]);c=k+rep[siz].length()-1;le=le+rep[siz].length()-1;
> }
> else{
> c=le;
> }
> }
> }
> return "<mtable columnalign=\"left\"><mtr><mtd><mi>"+s+"</mi></mtd></mtr></mtable>";
> }
>
>
>
244,245d267
<
<
1067c1089,1090
< return "<mi>"+(*e._STRNGptr)+"</mi>";
---
> //fred return "<mi>"+(*e._STRNGptr)+"</mi>";
> return string2mathml(*e._STRNGptr);
1071c1094,1095
< return "<mi>"+e._USERptr->texprint(contextptr)+"</mi>"; // <--------------------------- A traduire ?
---
> //fred: return "<mi>"+e._USERptr->texprint(contextptr)+"</mi>"; // <--------------------------- A traduire ?
> return string2mathml(e.print(contextptr));
Code : Tout sélectionner
switch (e.type){
case _INT_: case _ZINT:
if(is_positive(e,contextptr)){
return "<mn>"+e.print(contextptr)+"</mn>";
}
else{
return "<mo>(</mo><mn>"+e.print(contextptr)+"</mn><mo>)</mo>";
}
Code : Tout sélectionner
197c197,200
< if (eval(g,eval_level(contextptr),contextptr).is_constant())
---
> //fred: sqrt(2) est constant mais pas besoin de x.
> //if (eval(g,eval_level(contextptr),contextptr).is_constant())
> gen gg=eval(g,eval_level(contextptr),contextptr);
> if( (gg.type==_INT_)||(gg.type==_ZINT) || (gg.type==_REAL) || (gg.type==_DOUBLE_) )
199,200c202,205
< else {
< if (g.type==_SYMB) {
---
> /* a quoi cela sert il de mettre un x dans tous ces cas?
> else {
>
> if (g.type==_SYMB) {
205c210
< }
---
> }*/
209a215
> bool isprecINT = false;
219a226,237
> }
> else if ( isprecINT && (it->type==_SYMB) && (it->_SYMBptr->sommet==at_pow) ) {
> symbolic mys = *(it->_SYMBptr);
> if(!((mys.feuille._VECTptr->back()==plus_one_half))){
> if ((mys.feuille._VECTptr->front().type==_INT_)||(mys.feuille._VECTptr->front().type==_ZINT)){
> if (is_positive(mys.feuille._VECTptr->front(),contextptr))
> s += "<mo>×</mo>";// 2*2^n et 22^n, 2*2^(1/7) mais pas 2*sqrt(2)
> }
> }
>
> s += gen2mathml(*it,contextptr);
> }
224c242,244
< }
---
> }
> if( (it->type==_INT_)||(it->type==_ZINT) || (it->type==_REAL) || (it->type==_DOUBLE_) ){
> isprecINT=true;
226,228c246,247
< else
< { s += gen2mathml(*it,contextptr);
<
---
> else{
> isprecINT=false;
233,234c252,253
< else if (needs_times(*it,contextptr))
< s += "<mo>×</mo>";
---
> else if ((needs_times(*it,contextptr))&& isprecINT)
> s += "<mo>×</mo>";
241a261
> bool isprecINT = false;
253a274,284
> else if ( isprecINT && (it->type==_SYMB) && (it->_SYMBptr->sommet==at_pow) ) {
> symbolic mys = *(it->_SYMBptr);
> if(!((mys.feuille._VECTptr->back()==plus_one_half))){
> if ((mys.feuille._VECTptr->front().type==_INT_)||(mys.feuille._VECTptr->front().type==_ZINT)){
> if (is_positive(mys.feuille._VECTptr->front(),contextptr))
> s += "<mo>×</mo>";//2*2^n ou 2*2^(1/7) != 22^(1/3)
> }
> }
>
> s += gen2mathml(*it,contextptr);
> }
255a287,293
>
> if( (it->type==_INT_)||(it->type==_ZINT) || (it->type==_REAL) || (it->type==_DOUBLE_) ){
> isprecINT=true;
> }
> else{
> isprecINT=false;
> }
259,260c297,298
< else if (needs_times(*it,contextptr))
< s += "<mo>*</mo>";
---
> else if ((needs_times(*it,contextptr)) && isprecINT)
> s +="<mo>×</mo>";
917c955
< }
---
> }
957c995,996
< +"</mrow></mfrac><mo>*</mo>"; // A revoir ? //"} \\* ";
---
> +"</mrow></mfrac>";
> s+="<mo>×</mo>"; // A revoir ? utile pour '1/y*(-33)' sinon un espace pour couper les barres de fractions serait plus joli
981c1020
< string s_no_bra= "<msup><mrow>"+gen2mathml((*(mys.feuille._VECTptr))[0],contextptr)
---
> string s_no_bra= "<msup><mrow> "+gen2mathml((*(mys.feuille._VECTptr))[0],contextptr)
998a1038,1043
> else return s_bra;
> }
> //fred 2*(-1)^n
> //_REAL et _DOUBLE_ inutiles (-1.5)^n passe en exp
> else if ((mys.feuille._VECTptr->front().type==_INT_)||(mys.feuille._VECTptr->front().type==_ZINT)){
> if (is_positive(mys.feuille._VECTptr->front(),contextptr)) return s_no_bra;