Annotation of loncom/xml/lontexconvert.pm, revision 1.87

1.1       harris41    1: # The LearningOnline Network with CAPA
                      2: # TeX Conversion Module
                      3: #
1.87    ! foxr        4: # $Id: lontexconvert.pm,v 1.86 2008/01/29 11:18:06 foxr Exp $
1.4       www         5: #
                      6: # Copyright Michigan State University Board of Trustees
                      7: #
                      8: # This file is part of the LearningOnline Network with CAPA (LON-CAPA).
                      9: #
                     10: # LON-CAPA is free software; you can redistribute it and/or modify
                     11: # it under the terms of the GNU General Public License as published by
                     12: # the Free Software Foundation; either version 2 of the License, or
                     13: # (at your option) any later version.
                     14: #
                     15: # LON-CAPA is distributed in the hope that it will be useful,
                     16: # but WITHOUT ANY WARRANTY; without even the implied warranty of
                     17: # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
                     18: # GNU General Public License for more details.
                     19: #
                     20: # You should have received a copy of the GNU General Public License
                     21: # along with LON-CAPA; if not, write to the Free Software
                     22: # Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
                     23: #
                     24: # /home/httpd/html/adm/gpl.txt
                     25: #
                     26: # http://www.lon-capa.org/
                     27: #
                     28: # Copyright for TtHfunc and TtMfunc by Ian Hutchinson. 
                     29: # TtHfunc and TtMfunc (the "Code") may be compiled and linked into 
                     30: # binary executable programs or libraries distributed by the 
                     31: # Michigan State University (the "Licensee"), but any binaries so 
                     32: # distributed are hereby licensed only for use in the context
                     33: # of a program or computational system for which the Licensee is the 
                     34: # primary author or distributor, and which performs substantial 
                     35: # additional tasks beyond the translation of (La)TeX into HTML.
                     36: # The C source of the Code may not be distributed by the Licensee
                     37: # to any other parties under any circumstances.
                     38: #
1.1       harris41   39: 
                     40: package Apache::lontexconvert;
                     41: 
                     42: use strict;
1.33      albertel   43: use tth();
1.1       harris41   44: use vars qw($errorstring);
1.73      albertel   45: #use Apache::lonxml();
1.33      albertel   46: use Apache::lonlocal;
1.65      albertel   47: use Apache::lonnet;
1.75      www        48: use lib '/home/httpd/lib/perl/';
                     49: use LONCAPA;
                     50:  
1.1       harris41   51: 
                     52: # ====================================================================== Header
                     53: 
1.29      albertel   54: sub init_tth {
1.65      albertel   55:     my $options=$env{'course.'.$env{'request.course.id'}.'.tthoptions'};
1.74      albertel   56:     if ($options =~ /\S/) {
                     57: 	$options = ' '.$options;
                     58:     } else {
                     59: 	undef($options);
                     60:     }
1.65      albertel   61:     if ($env{'browser.mathml'}) {
1.29      albertel   62: 	&tth::ttminit();
1.65      albertel   63: 	if ($env{'browser.unicode'}) {
1.74      albertel   64: 	    &tth::ttmoptions('-L -u1'.$options);
1.29      albertel   65: 	} else {
1.74      albertel   66: 	    &tth::ttmoptions('-L -u0'.$options);
1.29      albertel   67: 	}
                     68:     } else {
                     69: 	&tth::tthinit();
1.65      albertel   70: 	if ($env{'browser.unicode'}) {
1.74      albertel   71: 	    &tth::tthoptions('-L -u1'.$options);
1.29      albertel   72: 	} else {
1.74      albertel   73: 	    &tth::tthoptions('-L -u0'.$options);
1.29      albertel   74: 	}
                     75:     }
                     76: }
                     77: 
1.1       harris41   78: # ================================================================== Conversion
                     79: 
1.19      albertel   80: $Apache::lontexconvert::messedup=0;
1.36      albertel   81: 
                     82: # we need this routine because &converted can get called from inside
                     83: # of the safespace (through &xmlparse('<m>stuff</m>') which doesn't
                     84: # allow the opcode for alarm, so we need to compile this before we get
                     85: # into the safe space since opcode checks only occur at compile time
                     86: sub convert_real {
                     87:     my ($texstring)=@_;
                     88:     my ($xmlstring,$errorstring);
                     89:     local $SIG{SEGV}=sub { $Apache::lontexconvert::messedup=1; die; };
                     90:     local $SIG{ALRM}=sub { 
1.37      albertel   91: 	&Apache::lonnet::logthis("ALRM");
1.36      albertel   92: 	$xmlstring='['.&mt("TeX unconverted due to errors").']';
                     93: 	$Apache::lontexconvert::messedup=1;
                     94: 	die &mt("TeX unconverted due to errors");
                     95:     };
1.63      albertel   96:     &Apache::lonxml::start_alarm();
1.65      albertel   97:     if ($env{'browser.mathml'}) {
1.36      albertel   98: 	$xmlstring=&tth::ttm($$texstring);
                     99: 	$xmlstring=~s/\<math\>/\<math xmlns=\"\&mathns\;\"\>/g;
                    100: 	$xmlstring=~s/\<br\>/\<br\/\>/g;
                    101: 	$xmlstring=~s/\<p\>/\<p\>\<\/p\>/g;
                    102: 	$errorstring.=&tth::ttmerror();
                    103:     } else {
                    104: 	$xmlstring=&tth::tth($$texstring);
                    105: 	$errorstring.=&tth::ttherror();
                    106: 	$xmlstring=~s-</font(\s*)>-</font>-g;
                    107:     }
1.43      www       108:     $xmlstring=~s/^\s*\<br clear\=\"all\"/\<br/s;
1.36      albertel  109:     $xmlstring=~s/^\s*//;
                    110:     $xmlstring=~s/\s*$//;
1.85      foxr      111:     #
                    112:     # \rightleftharpoons is not converted by tth but maps
                    113:     # reasonably well to &#8660;.  If we get many more of these,
                    114:     # we're going to need to have a translation sub.
                    115:     #
1.87    ! foxr      116:     my $lrharpoon = pack("U", 0x21cc);
        !           117:     $xmlstring=~s/\\rightleftharpoons/$lrharpoon/g;
1.85      foxr      118: 
1.63      albertel  119:     &Apache::lonxml::end_alarm();
1.36      albertel  120:     return ($xmlstring,$errorstring);
                    121: }
                    122: 
1.59      albertel  123: sub tth_converted {
1.31      albertel  124:     my $texstring=shift;
1.34      www       125:     my $xmlstring='['.&mt('UNDISPLAYABLE').']';
1.31      albertel  126:     if ($Apache::lontexconvert::messedup) {
1.35      albertel  127: 	return '['.&mt('TeX unconverted due to previous errors').']';
1.31      albertel  128:     }
1.59      albertel  129:     $$texstring ='\\documentstyle{article}'.$$texstring;
                    130: 
1.31      albertel  131:     eval(<<'ENDCONV');
1.36      albertel  132:     ($xmlstring,$errorstring)=&convert_real($texstring)
1.12      www       133: ENDCONV
1.32      albertel  134:     if ($@) {
1.35      albertel  135: 	$errorstring.=&mt("Evaluation Error: ").$@;
1.32      albertel  136: 	$Apache::lontexconvert::messedup=1;
                    137:     }
1.37      albertel  138:     if ($Apache::lontexconvert::messedup || &tth::tthmessedup() || 
                    139: 	$errorstring) {
1.31      albertel  140: 	&Apache::lonnet::logthis("Trying to kill myself");
                    141: 	$Apache::lontexconvert::messedup=1;
1.70      albertel  142: 	if (ref($Apache::lonxml::request)) {
                    143: 	    $Apache::lonxml::request->child_terminate();
                    144: 	} else {
                    145: 	    my $request;
                    146: 	    eval { $request=Apache->request; };
                    147: 	    if (!$request) {
                    148: 		eval { $request=Apache2::RequestUtil->request; };
                    149: 	    }
                    150: 	    if ($request) {
                    151: 		$request->child_terminate();
                    152: 	    } else {
                    153: 		&Apache::lonnet::logthis("Unable to find a request to do child_terminate on");
                    154: 	    }
                    155: 	}
1.31      albertel  156:     }
                    157:     return $xmlstring;
1.1       harris41  158: }
                    159: 
1.62      albertel  160: sub clean_out_math_mode {
                    161:     my ($texstring)=@_;
1.82      albertel  162:     $$texstring=~s/(?<!\\)\$//g;
1.62      albertel  163:     $$texstring=~s/\\[\)\(\]\[]//g;
                    164:     $$texstring=~s/\\ensuremath//g;
                    165:     return '';
                    166: }
                    167: 
                    168: sub displaystyle {
                    169:     my ($texstring)=@_;
                    170:     #has a $$ or \[ or \displaystyle in it, guessinng it's display mode
                    171:     if ($$texstring=~/[^\\]\$\$/ ||
                    172: 	$$texstring=~/\\\[/ ||
                    173: 	$$texstring=~/\\displaystyle/) { return 1; }
                    174:     return 0;
                    175: }
                    176: 
1.59      albertel  177: sub jsMath_converted {
                    178:     my $texstring=shift;
                    179:     my $tag='span';
1.62      albertel  180:     if (&displaystyle($texstring)) { $tag='div'; }
                    181:     &clean_out_math_mode($texstring);
1.67      albertel  182:     return &jsMath_header().
                    183: 	'<'.$tag.' class="math">'.$$texstring.'</'.$tag.'>';
                    184: }
                    185: 
                    186: {
1.76      albertel  187:     my @jsMath_sent_header;
1.67      albertel  188:     sub jsMath_reset {
1.76      albertel  189: 	undef(@jsMath_sent_header);
                    190:     }
                    191:     sub jsMath_push {
                    192: 	push(@jsMath_sent_header,0);
1.67      albertel  193:     }
                    194:     sub jsMath_header {
1.80      albertel  195: 	if (!@jsMath_sent_header) {
                    196: 	    &Apache::lonnet::logthis("mismatched calls of jsMath_header and jsMath_process");
                    197: 	    return '';
                    198: 	}
1.76      albertel  199: 	return '' if $jsMath_sent_header[-1];
                    200: 	$jsMath_sent_header[-1]=1;
1.67      albertel  201: 	return
                    202:             '<script type="text/javascript">
                    203:                      function NoFontMessage () {}
1.78      albertel  204:                      jsMath = {Parser: {prototype: {environments: {\'eqnarray*\' :[\'Array\',null,null,\'rcl\',[5/18,5/18],3,\'D\']}}}};
1.67      albertel  205:                    </script>'."\n".
1.71      albertel  206: 	    '<script type="text/javascript" src="/adm/jsMath/jsMath.js"></script>'."\n";
1.67      albertel  207:     }
                    208:     sub jsMath_process {
1.76      albertel  209: 	my $state = pop(@jsMath_sent_header);
                    210: 	return '' if !$state;
1.81      albertel  211: 	return "\n".
                    212: 	    '<script type="text/javascript">jsMath.Process()</script>'."\n";
1.67      albertel  213:     }
1.84      albertel  214:     sub jsMath_state {
                    215: 	my ($level) = @_;
                    216: 	return $jsMath_sent_header[$level];
                    217:     }
1.62      albertel  218: }
                    219: 
1.83      albertel  220: sub tex_engine {
                    221:     if (exists($env{'form.texengine'})) {
                    222: 	return $env{'form.texengine'};
                    223:     }    
                    224:     if ($env{'request.course.id'}
                    225: 	&& exists($env{'course.'.$env{'request.course.id'}.'.texengine'})) {
                    226: 	return $env{'course.'.$env{'request.course.id'}.'.texengine'};
                    227:     }
                    228:     if (exists($env{'environment.texengine'})) {
                    229: 	return $env{'environment.texengine'};
                    230:     }
                    231:     return 'tth';
                    232: }
                    233: 
1.72      albertel  234: sub init_math_support {
1.84      albertel  235:     my ($inherit_jsmath) = @_;
1.73      albertel  236:     &init_tth();
1.76      albertel  237:     &Apache::lontexconvert::jsMath_push();
1.84      albertel  238:     if (lc(&tex_engine()) eq 'jsmath' ||
                    239: 	($inherit_jsmath && &jsMath_state(-2))) {
1.72      albertel  240: 	return &Apache::lontexconvert::jsMath_header();
                    241:     }
                    242:     return;
                    243: }
                    244: 
1.62      albertel  245: sub mimetex_converted {
                    246:     my $texstring=shift;
                    247:     my $displaystyle=&displaystyle($texstring);
                    248: 
                    249:     &clean_out_math_mode($texstring);
                    250: 
                    251:     if ($displaystyle) {
                    252: 	$$texstring='\\displaystyle \\Large '.$$texstring;
1.59      albertel  253:     }
1.75      www       254:     my $result='<img src="/cgi-bin/mimetex.cgi?'.&escape($$texstring).'" />';
1.62      albertel  255:     if ($displaystyle) {
                    256: 	$result='<center>'.$result.'</center>';
                    257:     }
                    258:     return $result;
1.59      albertel  259: }
                    260: 
                    261: sub converted {
1.67      albertel  262:     my ($string,$mode)=@_;
1.83      albertel  263:     if ($mode eq '') { $mode = &tex_engine(); }
1.68      albertel  264:     if ($mode =~ /tth/i) {
1.67      albertel  265: 	return &tth_converted($string);
1.68      albertel  266:     } elsif ($mode =~ /jsmath/i) {
1.67      albertel  267: 	return &jsMath_converted($string);
1.68      albertel  268:     } elsif ($mode =~ /mimetex/i) {
1.67      albertel  269: 	return &mimetex_converted($string);
1.59      albertel  270:     }
1.67      albertel  271:     return &tth_converted($string);
1.59      albertel  272: }
                    273: 
1.6       www       274: # ------------------------------------------------------------ Message display
                    275: 
1.9       albertel  276: sub to_convert {
                    277:     my ($string) = @_;
1.22      www       278:     $string=~s/\<br\s*\/?\>/ /gs;
1.30      albertel  279: #    $string=~s/\s/ /gs;
1.18      albertel  280:     $string=&HTML::Entities::decode($string);
1.9       albertel  281:     return &converted(\$string);
                    282: }
                    283: 
1.20      www       284: sub smiley {
1.31      albertel  285:     my $expression=shift;
1.65      albertel  286:     if ($env{'browser.imagesuppress'} eq 'on') { return $expression; }
1.31      albertel  287:     my %smileys=('\:\-\)' => 'smiley',
                    288: 		 '8\-\)'  => 'coolsmile',
                    289: 		 '8\-(I|\|)'   => 'coolindiff',
                    290: 		 ':\-(I|\|)'   => 'neutral',
                    291: 		 '\:\-(o|O|\(\))' => 'shocked',
                    292: 		 ':\-\('  => 'frowny',
                    293: 		 '\;\-\)' => 'wink',
                    294: 		 '\:\-P'  => 'baeh',
                    295: 		 '\:\-(\\\|\\/)' => 'hrrm',
                    296: 		 '\:\-D'  => 'bigsmile',
                    297: 		 '\:\-C'  => 'angry',
                    298: 		 '\:(\'|\`)\-\(' => 'cry',
                    299: 		 '\:\-(X|\#)' => 'lipsrsealed',
                    300: 		 '\:\-S' => 'huh');
                    301:     my $iconpath=$Apache::lonnet::perlvar{'lonIconsURL'};
1.79      albertel  302:     foreach my $smiley (keys(%smileys)) {
                    303: 	$expression=~s/$smiley/\<img src="$iconpath\/$smileys{$smiley}.gif" \/\>/gs; 
1.31      albertel  304:     }
                    305:     return $expression;
1.20      www       306: }
                    307: 
1.6       www       308: sub msgtexconverted {
1.39      raeburn   309:     my ($message,$email) = @_;
1.17      albertel  310:     $errorstring='';
1.29      albertel  311:     &init_tth();
1.25      www       312:     my $outmessage='';
                    313:     my $tex=0;
1.79      albertel  314:     foreach my $fragment (split(/(?:\&lt\;|\<)\/*m\s*(?:\&gt\;|\>)/i,$message)) {
1.25      www       315: 	if ($tex) {
1.30      albertel  316: 	    if ($email) {
1.79      albertel  317: 		$outmessage.='</pre><tt>'.&to_convert($fragment).'</tt><pre>';
                    318: 		$tex=0;
1.30      albertel  319: 	    } else {
1.79      albertel  320: 		$outmessage.=&to_convert($fragment);
                    321: 		$tex=0;
1.30      albertel  322: 	    }
1.25      www       323: 	} else {
1.79      albertel  324:             $outmessage.=&smiley($fragment);
                    325: 	    $tex=1;
1.25      www       326: 	}
                    327:     }
1.64      albertel  328:     $message=$outmessage; $outmessage=''; $tex=0;
1.79      albertel  329:     foreach my $fragment (split(/(?:\&lt\;|\<)\/*algebra\s*(?:\&gt\;|\>)/i,
                    330: 				$message)) {
1.64      albertel  331: 	if ($tex) {
                    332: 	    if ($email) {
1.79      albertel  333: 		$outmessage.='</pre><tt>'.&algebra($fragment,'web').'</tt><pre>';
                    334: 		$tex=0;
1.64      albertel  335: 	    } else {
1.79      albertel  336: 		$outmessage.=&algebra($fragment,'web');
                    337: 		$tex=0;
1.64      albertel  338: 	    }
                    339: 	} else {
1.79      albertel  340:             $outmessage.=$fragment;
                    341: 	    $tex=1;
1.64      albertel  342: 	}
                    343:     }
1.24      albertel  344:     if (wantarray) {
1.25      www       345: 	return ($outmessage,$errorstring);
1.24      albertel  346:     } else {
1.25      www       347: 	return $outmessage.$errorstring;
1.24      albertel  348:     }
1.1       harris41  349: }
                    350: 
1.44      albertel  351: sub algebra {
1.49      albertel  352:     use AlgParser;
                    353: 
1.58      albertel  354:     my ($string,$target,$style)=@_;
1.44      albertel  355:     my $parser = new AlgParserWithImplicitExpand;
1.46      albertel  356:     $string=&prepare_algebra($string);
1.44      albertel  357:     my $ret = $parser->parse($string);
                    358:     my $result='['.&mt('Algebra unconverted due to previous errors').']';
                    359:     if ( ref($ret) ) {
1.50      albertel  360: 	#$parser->tostring();
1.44      albertel  361: 	$parser->normalize();
                    362: 	my $latex=$parser->tolatex();
1.49      albertel  363: 	$latex=&postprocess_algebra($latex);
1.58      albertel  364: 	if ($style eq 'display') {
                    365: 	    $latex='$$'.$latex.'$$x';
                    366: 	} else {
1.61      albertel  367: 	    # style is 'inline'
1.58      albertel  368: 	    $latex='\\ensuremath{'.$latex.'}';
                    369: 	}
1.44      albertel  370: 	if ($target eq 'web' || $target eq 'analyze') {
                    371: 	    $result = &converted(\$latex);
                    372: 	} else {
                    373: 	    $result = $latex;
                    374: 	}
                    375:     } else {
                    376: 	&Apache::lonxml::error($parser->{'htmlerror'});
                    377:     }
                    378: }
                    379: 
1.46      albertel  380: sub prepare_algebra {
                    381:     my ($string)=@_;
                    382: 
1.50      albertel  383:     # makes the decision about what is a minus sign easier supposedly
1.57      albertel  384:     $string =~ s/(\<\>|\<\=|\>\=[\=\>\<] *)-/$1 zeroplace -/g;
1.48      albertel  385: 
1.46      albertel  386:     return $string;
                    387: }
                    388: 
                    389: sub postprocess_algebra {
                    390:     my ($string)=@_;
1.48      albertel  391:     
1.50      albertel  392:     # moodle had these and I don't know why, ignoring them for now
1.51      albertel  393:     # $string =~s/\\fun/ /g;
1.47      albertel  394: 
1.51      albertel  395:     # sqrt(3,4) means the 4 root of 3
1.52      albertel  396:     $string =~s/\\sqrt{([^,]+),([^\}]+)}/\\sqrt[$2]{$1}/gs;
                    397: 
1.53      albertel  398:     # log(3,4) means the log base 4 of 3
                    399:     $string =~s/\\log\\left\((.+?),(.+?)\\right\)/\\log_{$2}\\left($1\\right)/gs;
                    400: 
1.54      albertel  401:     # log(3,4) means the log base 4 of 3
                    402:     $string =~s/\\((?:sin|cos|tan|sec|csc|cot)(?:h)?)\\left\((.+?),(.+?)\\right\)/\\$1^{$3}\\left($2\\right)/gs;
                    403: 
1.55      albertel  404:     # int(3,a,b) integral from a to b of 3
                    405:     $string =~s/\\int\\left\((.+?),(.+?),(.+?)\\right\)/\\int_{$2}^{$3}\\left($1\\right)/gs;
                    406: 
                    407:     # int( ... dx) -> ...
                    408:     $string =~s/\\int\\left\((.+?)d[a-z]\\right\)/$1/gs;
1.51      albertel  409: 
1.56      albertel  410:     # 
                    411:     $string =~s/\\lim\\left\((.+?),(.+?),(.+?)\\right\)/\\lim_{$2\\to $3}$1/gs;
1.46      albertel  412:     return $string;
                    413: }
1.1       harris41  414: 1;
                    415: __END__
                    416: 
                    417: 
                    418: 
                    419: 
                    420: 
                    421: 
                    422: 

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>