// LIBRERIA DI FUNZIONI E COSTANTI PER USARE SIMBOLOGIA MATEMATICA 
// IN UNA PAGINA WEB.
//                                        a cura di Giovanni Nicco


// USO:
// la funzione ww() ammette un numero qualsiasi di stringhe-argomento
// esempio ww("ciao"," come ", "stai?"); viene stampato "ciao come stai?"
// al fine di usare particolari caratteri, questi sono stati memorizzati in alcune
// variabili il cui nome si richiama vagamente al linguaggio latex
// es. ww(exist,"x",inset,"A",bar,"x",ge,"1") 
// consente di scrivere : simbolo di esistenza x incluso in A tale che x >= 1
// in particolare per risparmiare virgolette, simboli quali x,y,z,a,b,c con
// relative maiuscole sono state dichiarate con un valore uguale al loro
// nome in modo che si puo' anche scrivere: 
// es. ww(exist,x,inset,A,bar,x,ge,1) 
// wlc() ha uso analogo ma forza la scrittura in una unica linea (necessaria a
// causa del rimando a capo automatico che html impone all'apertura di una tabella
// usata per costruzioni grafiche come le frazioni. 
// esempio la somma di due frazioni:
// wlc(frac(1,2),frac(1,3))
// wl() è simile ma forza l'allineamento in basso (utile per le potenze)
// es wl(pow("a+b",2),eq,pow(a,2),p,2,a,b,p,pow(b,2))
// 
// Le funzioni l, lc non stampano ma costruiscono una stringa in linea contenente gli
// argomenti: possono servire nel caso si vada costruendo una espressione che solo
// alla fine andrà stampata.
// es ww(l(agBig,mat31(lc(x,p,y,eq,frac(1,3),p,frac(2,3))," ",lc(x,m,y,eq,frac(1,3),t,frac(2,3)) )

function ww(){w(compattaABvC("","",arguments,""))}// stampa tutte le stringhe-argomenti passate
function wl(){w(l(arguments))}; 		  // idem ma forzatamente in linea
function wlc(){w(lc(arguments))};                 // idem ma centrata (utile per le frazioni)
function w(x){document.writeln(x)}                // stampa semplice

function l(){return compattaABvC("<table border=0 align=left valign=bottom ><tr>","<td valign=bottom>",arguments,"</table>")} //restituisce in linea
function lc(){return compattaABvC("<table border=0  valign=center ><tr>","<td valign=center>",arguments,"</table>")}// idem centrata verticalmente

 
function fontChar(f,c){	return "<font face="+f+">"+String.fromCharCode(c)+"</font>"}

var p="+",t="*",m="-",d=":"; // operatori aritmetici 
var x="x",y="y",z="z",a="a",b="b",c="c",d="d";e="e",o="o";A="A",B="B",C="C",D="D"; // variabili
var sx=" x ",sy=" y ",sz=" z ",sa=" a ",sb=" b ",sc=" c ",se=" e ",so=" o ";sA=" A ",sB=" B ",sC=" C "; // variabili con spazio
var comma=",";eq="=";bar="|"; // simboli comunque accessibili da tastiera
var ag="{",cg="}",aq="[",cq="]",at="(",ct=")"; // parentesi (a)perte e (c)hiuse
var s="&nbsp",sp=s+s;spa=s+s+s;spac=s+s+s+s;space=s+s+s+s+s; // spazi più  o meno lunghi

// abbreviazioni di comandi html
var hr="<HR>";var br="<br>"
var pp=".<br>"; // punto e a capo
var pc=".<br>"; // punto e a capo
var ac="<br>"; //  a capo
var phi		=fontChar("Symbol",106);

// LETTERE GRECHE MINUSCOLE*****************
var alpha	=fontChar("Symbol",97);
var beta	=fontChar("Symbol",98);
var gamma	=fontChar("Symbol",103);
var delta	=fontChar("Symbol",100);
var epsilon	=fontChar("Symbol",101);
var varepsilon	=fontChar("Symbol",101);
var zeta	=fontChar("Symbol",86);
var eta		=fontChar("Symbol",104);
var theta	=fontChar("Symbol",113);
var vartheta	=fontChar("Symbol",74);
var iota	=fontChar("Symbol",105);
var kappa	=fontChar("Symbol",107);
var lambda	=fontChar("Symbol",108);
var mu 		=fontChar("Symbol",109);
var nu 		=fontChar("Symbol",110);
var xi 		=fontChar("Symbol",121);
var pi		=fontChar("Symbol",112);
var varpi	=fontChar("Symbol",118);
var rho		=fontChar("Symbol",114);
var varrho	=fontChar("Symbol",114);
var sigma	=fontChar("Symbol",115);
var tau		=fontChar("Symbol",116);
var upsilon	=fontChar("Symbol",117);
var phi		=fontChar("Symbol",102);
var varphi		=fontChar("Symbol",106);
var chi		=fontChar("Symbol",99);
var psi		=fontChar("Symbol",102);
var omega	=fontChar("Symbol",119);

// LETTERE GRECHE MAIUSCOLE*****************
var Gamma	=fontChar("Symbol",71);
var Delta	=fontChar("Symbol",68);
var Theta	=fontChar("Symbol",81);
var Lambda	=fontChar("Symbol",76);
var Xi 		=fontChar("Symbol",88);
var Pi		=fontChar("Symbol",80);
var Sigma	=fontChar("Symbol",115);
var Upsilon	=fontChar("Symbol",161);
var Phi		=fontChar("Symbol",70);
var Psi		=fontChar("Symbol",89);
var Omega	=fontChar("Symbol",87);


// SIMBOLI MATEMATICI **********************

var ast		=fontChar("Symbol",42);
var biimp	=fontChar("Symbol",219);
var bigtriangledown	=fontChar("Symbol",209);
var bullet	=fontChar("Symbol",83);
var cap		=fontChar("Symbol",199);
var cdot	=fontChar("Symbol",215);
var circ	=fontChar("Symbol",176);
var cong	=fontChar("Symbol",64);
var cross	=fontChar("Symbol",180);
var cup		=fontChar("Symbol",200);
var diamond	=fontChar("Symbol",224);
var div		=fontChar("Symbol",184);
var dot		=fontChar("Symbol",215);
var exists	=fontChar("Symbol",36);
var empty	=fontChar("Symbol",198);
var forall	=fontChar("Symbol",34);
var inset	=fontChar("Symbol",206);
var leq		=fontChar("Symbol",163);
var mid		=fontChar("Symbol",239);
var mp		=fontChar("Symbol",177);
var nabla	=fontChar("Symbol",209);
var neq		=fontChar("Symbol",185);
var notinset	=fontChar("Symbol",207);
var pm		=fontChar("Symbol",177);
var root	=fontChar("Symbol",214);
var star	=fontChar("Symbol",42);
var subset	=fontChar("Symbol",204);
var subseteq	=fontChar("Symbol",205);
var sum		=fontChar("Symbol",229);
var t		=fontChar("Symbol",215);
var times	=fontChar("Symbol",180);
var vee		=fontChar("Symbol",218);
var wedge	=fontChar("Symbol",217);

// PARENTESI GRANDI **************
var atUP	= fontChar("Symbol",230);var atMIDDLE	= fontChar("Symbol",231);
var atBOTTOM	= fontChar("Symbol",232);var ctUP	= fontChar("Symbol",246);
var ctMIDDLE	= fontChar("Symbol",247);var ctBOTTOM	= fontChar("Symbol",248);
var atBig= mat31(atUP,atMIDDLE,atBOTTOM) 
var ctBig= mat31(ctUP,ctMIDDLE,ctBOTTOM) 


var aqUP	= fontChar("Symbol",233);var aqMIDDLE	= fontChar("Symbol",234);
var aqBOTTOM	= fontChar("Symbol",235);var cqUP	= fontChar("Symbol",249);
var cqMIDDLE	= fontChar("Symbol",250);var cqBOTTOM	= fontChar("Symbol",251);
var aqBig	= mat31(aqUP,aqMIDDLE,aqBOTTOM) 
var cqBig	= mat31(cqUP,cqMIDDLE,cqBOTTOM) 

var agUP	= fontChar("Symbol",236);var agMIDDLE	= fontChar("Symbol",237);
var agBOTTOM	= fontChar("Symbol",238);var cgUP	= fontChar("Symbol",252);
var cgMIDDLE	= fontChar("Symbol",253);var cgBOTTOM	= fontChar("Symbol",254);
var agBig	= mat31(agUP,agMIDDLE,agBOTTOM) 
var cgBig	= mat31(cgUP,cgMIDDLE,cgBOTTOM) 

var intUP	= fontChar("Symbol",243);var agMIDDLE	= fontChar("Symbol",237);
var intOTTOM	= fontChar("Symbol",244);var cgUP	= fontChar("Symbol",252);
var intMIDDLE	= fontChar("Symbol",245);var cgBOTTOM	= fontChar("Symbol",254);
var intBig	= mat31(agUP,agMIDDLE,agBOTTOM) 
var intLittle	= fontChar("Symbol",242);var agMIDDLE	= fontChar("Symbol",237);

// **********************************************

function pow(a,b){  return a+"<sup>"+b+"</sup>" }

// FUNZIONI A NUMERO DI ARGOMENTI VARIABILE
function toVett(){return arguments}
function compatta(x){var s="";for(var i=0;i<x.length;i++){s+=x[i];}return s}// compatta tutti gli argomenti in una stringa
function compattaABvC(A,B,v,C){var s=A;for(var i=0;i<v.length;i++){s+=B+v[i];}return s+C}// compatta tutti gli argomenti in una stringa
function bold(){return compattaABvC("<b>","",arguments,"</b>")} // compatta con prefisso, infisso e suffisso
function mat31(a,b,c){ // restituisce 3 dati incolonnati
  return "<table border=0 CELLPADDING=0 CELLSPACING=0><td align=center>"+a+
	"<tr><td align=center>"+b+
	"<tr><td align=center>"+c+"</table>" 
}
function red(){return compattaABvC("<font color=red>","",arguments,"</font>")}
function frac(num,den){  return mat31(num,"<hr color=black  width=105%>",den)} // frazione
function overline(x){
	return "<table border=0  align=left valign=bottom >"+
	    "<tr> <td><hr color=black ><tr >"+
	    "<td ><tr valign=top> <td   align=center valign=top>"+
		x+"</table>"
}

function tex(x){
	while(x.match(/(!overline{)([^}]*)(})/)){x=x.replace(/(!overline{)([^}]*)(})/g,"<table cellspacing=0 cellpadding=0 align=left valign=bottom >"+
	    "<tr> <td><hr color=black height=1 noshade=true><tr cellspacing=0 cellpadding=0><td cellspacing=0 cellpadding=0><tr valign=top> <td  cellspacing=0 cellpadding=0 align=center valign=top>$2</table>")}
	while(x.match(/(!frac{)([^}]*)(}{)([^}]*)(})/)){x=x.replace(/(!frac{)([^}]*)(}{)([^}]*)(})/g,"<CENTER><table border=0 align=left><tr><td align=center>$2<tr><td><hr color=black><tr><td align=center >$4</table></CENTER>")}
	while(x.match(/([^\^])(\^)(\{)(\w*)(\})/)!=null){x=x.replace(/([^\^])(\^)(\{)(\w*)(\})/,"$1<sup>$4</sup>")}//exp{}{}
	while(x.match(/([^\^])(\^)(\w*)/)!=null) {x=x.replace(/([^\^])(\^)(\w*)/,"$1<sup>$3</sup>")}//exp 1 chr
	while(x.match(/([^\_])(\_)(\{)(\w*)(\})/)!=null){x=x.replace(/([^\_])(\_)(\{)(\w+)(\})/,"$1<sub>$4</sub>")}//ped {}{}
	while(x.match(/([^\_])(\_)(\w)([^\{])/)!=null){x=x.replace(/([^\_])(\_)(\w)([^\{])/,"$1 <sub> $3 </sub>$4")}// ped 1 chr
	x=x.replace(/\/\//g,"<br>");// "//" break line
	x=x.replace(/!Abar/g,"<font face=Arial>"+String.fromCharCode(256)+"</font>");
	x=x.replace(/!alpha/g,"<font face=Symbol>"+String.fromCharCode(97)+"</font>");
	x=x.replace(/!beta/g,"<font face='Symbol'>"+String.fromCharCode(98)+"</font>");
	x=x.replace(/!chi/g,"<font face=Symbol>"+String.fromCharCode(99)+"</font>");
	x=x.replace(/!delta/g,"<font face=Symbol>"+String.fromCharCode(100)+"</font>");
	x=x.replace(/!epsilon/g,"<font face=Symbol>"+String.fromCharCode(101)+"</font>");
	x=x.replace(/!psi/g,"<font face=Symbol>"+String.fromCharCode(102)+"</font>");
	x=x.replace(/!gamma/g,"<font face=Symbol>"+String.fromCharCode(103)+"</font>");
	x=x.replace(/!eta/g,"<font face=Symbol>"+String.fromCharCode(104)+"</font>");
	x=x.replace(/!iota/g,"<font face=Symbol>"+String.fromCharCode(105)+"</font>");
	x=x.replace(/!phi/g,"<font face=Symbol>"+String.fromCharCode(106)+"</font>");
	x=x.replace(/!kappa/g,"<font face=Symbol>"+String.fromCharCode(107)+"</font>");
	x=x.replace(/!lambda/g,"<font face=Symbol>"+String.fromCharCode(108)+"</font>");
	x=x.replace(/!mu/g,"<font face=Symbol>"+String.fromCharCode(109)+"</font>");
	x=x.replace(/!nu/g,"<font face=Symbol>"+String.fromCharCode(110)+"</font>");
	x=x.replace(/!pi/g,"<font face=Symbol>"+String.fromCharCode(112)+"</font>");
	x=x.replace(/!theta/g,"<font face=Symbol>"+String.fromCharCode(113)+"</font>");
	x=x.replace(/!rho/g,"<font face=Symbol>"+String.fromCharCode(114)+"</font>");
	x=x.replace(/!sigma/g,"<font face=Symbol>"+String.fromCharCode(114)+"</font>");
	x=x.replace(/!tau/g,"<font face=Symbol>"+String.fromCharCode(116)+"</font>");
	x=x.replace(/!omega/g,"<font face=Symbol>"+String.fromCharCode(119)+"</font>");
	// simboli matematici
	x=x.replace(/!biimp/g,"<font face=Symbol>"+String.fromCharCode(219)+"</font>");
	x=x.replace(/!cap/g,"<font face=Symbol>"+String.fromCharCode(199)+"</font>");
	x=x.replace(/!cong/g,"<font face=Symbol>"+String.fromCharCode(64)+"</font>");
	x=x.replace(/!cross/g,"<font face=Symbol>"+String.fromCharCode(180)+"</font>");
	x=x.replace(/!cup/g,"<font face=Symbol>"+String.fromCharCode(200)+"</font>");
	x=x.replace(/!empty/g,"<font face=Symbol>"+String.fromCharCode(198)+"</font>");
	x=x.replace(/!integral/g,"<font face=Arial>"+String.fromCharCode(0x222B)+"</font>");
	x=x.replace(/!forall/g,"<font face=Symbol>"+String.fromCharCode(34)+"</font>");
	x=x.replace(/!exists/g,"<font face=Symbol>"+String.fromCharCode(36)+"</font>");
	x=x.replace(/!notinset/g,"<font face=Symbol>"+String.fromCharCode(207)+"</font>");
	x=x.replace(/!inset/g,"<font face=Symbol>"+String.fromCharCode(206)+"</font>");
	x=x.replace(/!leq/g,"<font face=Symbol>"+String.fromCharCode(163)+"</font>");
	x=x.replace(/!root/g,"<font face=Symbol>"+String.fromCharCode(214)+"</font>");
	x=x.replace(/!subset/g,"<font face=Symbol>"+String.fromCharCode(204)+"</font>");
	x=x.replace(/!subseteq/g,"<font face=Symbol>"+String.fromCharCode(205)+"</font>");
	x=x.replace(/!wedge/g,"<font face=Symbol>"+String.fromCharCode(217)+"</font>");
	x=x.replace(/!dot/g,"<font face=Symbol>"+String.fromCharCode(215)+"</font>");
	return(x);
}

//function tex2html(x){
//	var vett=x.split("\n");
//	var result="";
//	for(var i=0;i<=vett.length-1;i++){
//		if(vett[i].match(/(@)(\w*)/)){
//			vett[i]=vett[i].replace(/(@)(\w*)/,"$2");
//			eval(vett[i])
//		}
//		else{	
//			result+=tex(vett[i]);
//			document.f1.compiled.value=result;
//		}
//	}
//	w(result);
//}