File:  [LON-CAPA] / loncom / xml / lontexconvert.pm
Revision 1.83: download - view: text, annotated - select for diffs
Tue Jun 19 20:10:55 2007 UTC (16 years, 11 months ago) by albertel
Branches: MAIN
CVS tags: version_2_4_99_0, HEAD
- add ability for a course to specify a tex engine to be used in the course,
  currently overrides user's setting if they have one.

    1: # The LearningOnline Network with CAPA
    2: # TeX Conversion Module
    3: #
    4: # $Id: lontexconvert.pm,v 1.83 2007/06/19 20:10:55 albertel Exp $
    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: #
   39: 
   40: package Apache::lontexconvert;
   41: 
   42: use strict;
   43: use tth();
   44: use vars qw($errorstring);
   45: #use Apache::lonxml();
   46: use Apache::lonlocal;
   47: use Apache::lonnet;
   48: use lib '/home/httpd/lib/perl/';
   49: use LONCAPA;
   50:  
   51: 
   52: # ====================================================================== Header
   53: 
   54: sub init_tth {
   55:     my $options=$env{'course.'.$env{'request.course.id'}.'.tthoptions'};
   56:     if ($options =~ /\S/) {
   57: 	$options = ' '.$options;
   58:     } else {
   59: 	undef($options);
   60:     }
   61:     if ($env{'browser.mathml'}) {
   62: 	&tth::ttminit();
   63: 	if ($env{'browser.unicode'}) {
   64: 	    &tth::ttmoptions('-L -u1'.$options);
   65: 	} else {
   66: 	    &tth::ttmoptions('-L -u0'.$options);
   67: 	}
   68:     } else {
   69: 	&tth::tthinit();
   70: 	if ($env{'browser.unicode'}) {
   71: 	    &tth::tthoptions('-L -u1'.$options);
   72: 	} else {
   73: 	    &tth::tthoptions('-L -u0'.$options);
   74: 	}
   75:     }
   76: }
   77: 
   78: # ================================================================== Conversion
   79: 
   80: $Apache::lontexconvert::messedup=0;
   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 { 
   91: 	&Apache::lonnet::logthis("ALRM");
   92: 	$xmlstring='['.&mt("TeX unconverted due to errors").']';
   93: 	$Apache::lontexconvert::messedup=1;
   94: 	die &mt("TeX unconverted due to errors");
   95:     };
   96:     &Apache::lonxml::start_alarm();
   97:     if ($env{'browser.mathml'}) {
   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:     }
  108:     $xmlstring=~s/^\s*\<br clear\=\"all\"/\<br/s;
  109:     $xmlstring=~s/^\s*//;
  110:     $xmlstring=~s/\s*$//;
  111:     &Apache::lonxml::end_alarm();
  112:     return ($xmlstring,$errorstring);
  113: }
  114: 
  115: sub tth_converted {
  116:     my $texstring=shift;
  117:     my $xmlstring='['.&mt('UNDISPLAYABLE').']';
  118:     if ($Apache::lontexconvert::messedup) {
  119: 	return '['.&mt('TeX unconverted due to previous errors').']';
  120:     }
  121:     $$texstring ='\\documentstyle{article}'.$$texstring;
  122: 
  123:     eval(<<'ENDCONV');
  124:     ($xmlstring,$errorstring)=&convert_real($texstring)
  125: ENDCONV
  126:     if ($@) {
  127: 	$errorstring.=&mt("Evaluation Error: ").$@;
  128: 	$Apache::lontexconvert::messedup=1;
  129:     }
  130:     if ($Apache::lontexconvert::messedup || &tth::tthmessedup() || 
  131: 	$errorstring) {
  132: 	&Apache::lonnet::logthis("Trying to kill myself");
  133: 	$Apache::lontexconvert::messedup=1;
  134: 	if (ref($Apache::lonxml::request)) {
  135: 	    $Apache::lonxml::request->child_terminate();
  136: 	} else {
  137: 	    my $request;
  138: 	    eval { $request=Apache->request; };
  139: 	    if (!$request) {
  140: 		eval { $request=Apache2::RequestUtil->request; };
  141: 	    }
  142: 	    if ($request) {
  143: 		$request->child_terminate();
  144: 	    } else {
  145: 		&Apache::lonnet::logthis("Unable to find a request to do child_terminate on");
  146: 	    }
  147: 	}
  148:     }
  149:     return $xmlstring;
  150: }
  151: 
  152: sub clean_out_math_mode {
  153:     my ($texstring)=@_;
  154:     $$texstring=~s/(?<!\\)\$//g;
  155:     $$texstring=~s/\\[\)\(\]\[]//g;
  156:     $$texstring=~s/\\ensuremath//g;
  157:     return '';
  158: }
  159: 
  160: sub displaystyle {
  161:     my ($texstring)=@_;
  162:     #has a $$ or \[ or \displaystyle in it, guessinng it's display mode
  163:     if ($$texstring=~/[^\\]\$\$/ ||
  164: 	$$texstring=~/\\\[/ ||
  165: 	$$texstring=~/\\displaystyle/) { return 1; }
  166:     return 0;
  167: }
  168: 
  169: sub jsMath_converted {
  170:     my $texstring=shift;
  171:     my $tag='span';
  172:     if (&displaystyle($texstring)) { $tag='div'; }
  173:     &clean_out_math_mode($texstring);
  174:     return &jsMath_header().
  175: 	'<'.$tag.' class="math">'.$$texstring.'</'.$tag.'>';
  176: }
  177: 
  178: {
  179:     my @jsMath_sent_header;
  180:     sub jsMath_reset {
  181: 	undef(@jsMath_sent_header);
  182:     }
  183:     sub jsMath_push {
  184: 	push(@jsMath_sent_header,0);
  185:     }
  186:     sub jsMath_header {
  187: 	if (!@jsMath_sent_header) {
  188: 	    &Apache::lonnet::logthis("mismatched calls of jsMath_header and jsMath_process");
  189: 	    return '';
  190: 	}
  191: 	return '' if $jsMath_sent_header[-1];
  192: 	$jsMath_sent_header[-1]=1;
  193: 	return
  194:             '<script type="text/javascript">
  195:                      function NoFontMessage () {}
  196:                      jsMath = {Parser: {prototype: {environments: {\'eqnarray*\' :[\'Array\',null,null,\'rcl\',[5/18,5/18],3,\'D\']}}}};
  197:                    </script>'."\n".
  198: 	    '<script type="text/javascript" src="/adm/jsMath/jsMath.js"></script>'."\n";
  199:     }
  200:     sub jsMath_process {
  201: 	my $state = pop(@jsMath_sent_header);
  202: 	return '' if !$state;
  203: 	return "\n".
  204: 	    '<script type="text/javascript">jsMath.Process()</script>'."\n";
  205:     }
  206: }
  207: 
  208: sub tex_engine {
  209:     if (exists($env{'form.texengine'})) {
  210: 	return $env{'form.texengine'};
  211:     }    
  212:     if ($env{'request.course.id'}
  213: 	&& exists($env{'course.'.$env{'request.course.id'}.'.texengine'})) {
  214: 	return $env{'course.'.$env{'request.course.id'}.'.texengine'};
  215:     }
  216:     if (exists($env{'environment.texengine'})) {
  217: 	return $env{'environment.texengine'};
  218:     }
  219:     return 'tth';
  220: }
  221: 
  222: sub init_math_support {
  223:     &init_tth();
  224:     &Apache::lontexconvert::jsMath_push();
  225:     if (lc(&tex_engine()) eq 'jsmath') {
  226: 	return &Apache::lontexconvert::jsMath_header();
  227:     }
  228:     return;
  229: }
  230: 
  231: sub mimetex_converted {
  232:     my $texstring=shift;
  233:     my $displaystyle=&displaystyle($texstring);
  234: 
  235:     &clean_out_math_mode($texstring);
  236: 
  237:     if ($displaystyle) {
  238: 	$$texstring='\\displaystyle \\Large '.$$texstring;
  239:     }
  240:     my $result='<img src="/cgi-bin/mimetex.cgi?'.&escape($$texstring).'" />';
  241:     if ($displaystyle) {
  242: 	$result='<center>'.$result.'</center>';
  243:     }
  244:     return $result;
  245: }
  246: 
  247: sub converted {
  248:     my ($string,$mode)=@_;
  249:     if ($mode eq '') { $mode = &tex_engine(); }
  250:     if ($mode =~ /tth/i) {
  251: 	return &tth_converted($string);
  252:     } elsif ($mode =~ /jsmath/i) {
  253: 	return &jsMath_converted($string);
  254:     } elsif ($mode =~ /mimetex/i) {
  255: 	return &mimetex_converted($string);
  256:     }
  257:     return &tth_converted($string);
  258: }
  259: 
  260: # ------------------------------------------------------------ Message display
  261: 
  262: sub to_convert {
  263:     my ($string) = @_;
  264:     $string=~s/\<br\s*\/?\>/ /gs;
  265: #    $string=~s/\s/ /gs;
  266:     $string=&HTML::Entities::decode($string);
  267:     return &converted(\$string);
  268: }
  269: 
  270: sub smiley {
  271:     my $expression=shift;
  272:     if ($env{'browser.imagesuppress'} eq 'on') { return $expression; }
  273:     my %smileys=('\:\-\)' => 'smiley',
  274: 		 '8\-\)'  => 'coolsmile',
  275: 		 '8\-(I|\|)'   => 'coolindiff',
  276: 		 ':\-(I|\|)'   => 'neutral',
  277: 		 '\:\-(o|O|\(\))' => 'shocked',
  278: 		 ':\-\('  => 'frowny',
  279: 		 '\;\-\)' => 'wink',
  280: 		 '\:\-P'  => 'baeh',
  281: 		 '\:\-(\\\|\\/)' => 'hrrm',
  282: 		 '\:\-D'  => 'bigsmile',
  283: 		 '\:\-C'  => 'angry',
  284: 		 '\:(\'|\`)\-\(' => 'cry',
  285: 		 '\:\-(X|\#)' => 'lipsrsealed',
  286: 		 '\:\-S' => 'huh');
  287:     my $iconpath=$Apache::lonnet::perlvar{'lonIconsURL'};
  288:     foreach my $smiley (keys(%smileys)) {
  289: 	$expression=~s/$smiley/\<img src="$iconpath\/$smileys{$smiley}.gif" \/\>/gs; 
  290:     }
  291:     return $expression;
  292: }
  293: 
  294: sub msgtexconverted {
  295:     my ($message,$email) = @_;
  296:     $errorstring='';
  297:     &init_tth();
  298:     my $outmessage='';
  299:     my $tex=0;
  300:     foreach my $fragment (split(/(?:\&lt\;|\<)\/*m\s*(?:\&gt\;|\>)/i,$message)) {
  301: 	if ($tex) {
  302: 	    if ($email) {
  303: 		$outmessage.='</pre><tt>'.&to_convert($fragment).'</tt><pre>';
  304: 		$tex=0;
  305: 	    } else {
  306: 		$outmessage.=&to_convert($fragment);
  307: 		$tex=0;
  308: 	    }
  309: 	} else {
  310:             $outmessage.=&smiley($fragment);
  311: 	    $tex=1;
  312: 	}
  313:     }
  314:     $message=$outmessage; $outmessage=''; $tex=0;
  315:     foreach my $fragment (split(/(?:\&lt\;|\<)\/*algebra\s*(?:\&gt\;|\>)/i,
  316: 				$message)) {
  317: 	if ($tex) {
  318: 	    if ($email) {
  319: 		$outmessage.='</pre><tt>'.&algebra($fragment,'web').'</tt><pre>';
  320: 		$tex=0;
  321: 	    } else {
  322: 		$outmessage.=&algebra($fragment,'web');
  323: 		$tex=0;
  324: 	    }
  325: 	} else {
  326:             $outmessage.=$fragment;
  327: 	    $tex=1;
  328: 	}
  329:     }
  330:     if (wantarray) {
  331: 	return ($outmessage,$errorstring);
  332:     } else {
  333: 	return $outmessage.$errorstring;
  334:     }
  335: }
  336: 
  337: sub algebra {
  338:     use AlgParser;
  339: 
  340:     my ($string,$target,$style)=@_;
  341:     my $parser = new AlgParserWithImplicitExpand;
  342:     $string=&prepare_algebra($string);
  343:     my $ret = $parser->parse($string);
  344:     my $result='['.&mt('Algebra unconverted due to previous errors').']';
  345:     if ( ref($ret) ) {
  346: 	#$parser->tostring();
  347: 	$parser->normalize();
  348: 	my $latex=$parser->tolatex();
  349: 	$latex=&postprocess_algebra($latex);
  350: 	if ($style eq 'display') {
  351: 	    $latex='$$'.$latex.'$$x';
  352: 	} else {
  353: 	    # style is 'inline'
  354: 	    $latex='\\ensuremath{'.$latex.'}';
  355: 	}
  356: 	if ($target eq 'web' || $target eq 'analyze') {
  357: 	    $result = &converted(\$latex);
  358: 	} else {
  359: 	    $result = $latex;
  360: 	}
  361:     } else {
  362: 	&Apache::lonxml::error($parser->{'htmlerror'});
  363:     }
  364: }
  365: 
  366: sub prepare_algebra {
  367:     my ($string)=@_;
  368: 
  369:     # makes the decision about what is a minus sign easier supposedly
  370:     $string =~ s/(\<\>|\<\=|\>\=[\=\>\<] *)-/$1 zeroplace -/g;
  371: 
  372:     return $string;
  373: }
  374: 
  375: sub postprocess_algebra {
  376:     my ($string)=@_;
  377:     
  378:     # moodle had these and I don't know why, ignoring them for now
  379:     # $string =~s/\\fun/ /g;
  380: 
  381:     # sqrt(3,4) means the 4 root of 3
  382:     $string =~s/\\sqrt{([^,]+),([^\}]+)}/\\sqrt[$2]{$1}/gs;
  383: 
  384:     # log(3,4) means the log base 4 of 3
  385:     $string =~s/\\log\\left\((.+?),(.+?)\\right\)/\\log_{$2}\\left($1\\right)/gs;
  386: 
  387:     # log(3,4) means the log base 4 of 3
  388:     $string =~s/\\((?:sin|cos|tan|sec|csc|cot)(?:h)?)\\left\((.+?),(.+?)\\right\)/\\$1^{$3}\\left($2\\right)/gs;
  389: 
  390:     # int(3,a,b) integral from a to b of 3
  391:     $string =~s/\\int\\left\((.+?),(.+?),(.+?)\\right\)/\\int_{$2}^{$3}\\left($1\\right)/gs;
  392: 
  393:     # int( ... dx) -> ...
  394:     $string =~s/\\int\\left\((.+?)d[a-z]\\right\)/$1/gs;
  395: 
  396:     # 
  397:     $string =~s/\\lim\\left\((.+?),(.+?),(.+?)\\right\)/\\lim_{$2\\to $3}$1/gs;
  398:     return $string;
  399: }
  400: 1;
  401: __END__
  402: 
  403: 
  404: 
  405: 
  406: 
  407: 
  408: 

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