1: # The LearningOnline Network with CAPA
2: # TeX Conversion Module
3: #
4: # $Id: lontexconvert.pm,v 1.91 2008/11/24 17:17:51 jms 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:
83: sub convert_real {
84: my ($texstring)=@_;
85: my ($xmlstring,$errorstring);
86: local $SIG{SEGV}=sub { $Apache::lontexconvert::messedup=1; die; };
87: local $SIG{ALRM}=sub {
88: &Apache::lonnet::logthis("ALRM");
89: $xmlstring='['.&mt("TeX unconverted due to errors").']';
90: $Apache::lontexconvert::messedup=1;
91: die &mt("TeX unconverted due to errors");
92: };
93: &Apache::lonxml::start_alarm();
94: if ($env{'browser.mathml'}) {
95: $xmlstring=&tth::ttm($$texstring);
96: $xmlstring=~s/\<math\>/\<math xmlns=\"\&mathns\;\"\>/g;
97: $xmlstring=~s/\<br\>/\<br\/\>/g;
98: $xmlstring=~s/\<p\>/\<p\>\<\/p\>/g;
99: $errorstring.=&tth::ttmerror();
100: } else {
101: $xmlstring=&tth::tth($$texstring);
102: $errorstring.=&tth::ttherror();
103: $xmlstring=~s-</font(\s*)>-</font>-g;
104: }
105: $xmlstring=~s/^\s*\<br clear\=\"all\"/\<br/s;
106: $xmlstring=~s/^\s*//;
107: $xmlstring=~s/\s*$//;
108: #
109: # \rightleftharpoons is not converted by tth but maps
110: # reasonably well to ⇔. If we get many more of these,
111: # we're going to need to have a translation sub.
112: #
113: my $lrharpoon = pack("U", 0x21cc);
114: $xmlstring=~s/\\rightleftharpoons/$lrharpoon/g;
115:
116: &Apache::lonxml::end_alarm();
117: return ($xmlstring,$errorstring);
118: }
119:
120: sub tth_converted {
121: my $texstring=shift;
122: my $xmlstring='['.&mt('UNDISPLAYABLE').']';
123: if ($Apache::lontexconvert::messedup) {
124: return '['.&mt('TeX unconverted due to previous errors').']';
125: }
126: $$texstring ='\\documentstyle{article}'.$$texstring;
127:
128: eval(<<'ENDCONV');
129: ($xmlstring,$errorstring)=&convert_real($texstring)
130: ENDCONV
131: if ($@) {
132: $errorstring.=&mt("Evaluation Error: ").$@;
133: $Apache::lontexconvert::messedup=1;
134: }
135: if ($Apache::lontexconvert::messedup || &tth::tthmessedup() ||
136: $errorstring) {
137: &Apache::lonnet::logthis("Trying to kill myself");
138: $Apache::lontexconvert::messedup=1;
139: if (ref($Apache::lonxml::request)) {
140: $Apache::lonxml::request->child_terminate();
141: } else {
142: my $request;
143: eval { $request=Apache->request; };
144: if (!$request) {
145: eval { $request=Apache2::RequestUtil->request; };
146: }
147: if ($request) {
148: $request->child_terminate();
149: } else {
150: &Apache::lonnet::logthis("Unable to find a request to do child_terminate on");
151: }
152: }
153: }
154: return $xmlstring;
155: }
156:
157: sub clean_out_math_mode {
158: my ($texstring)=@_;
159: $$texstring=~s/(?<!\\)\$//g;
160: $$texstring=~s/\\[\)\(\]\[]//g;
161: $$texstring=~s/\\ensuremath//g;
162: return '';
163: }
164:
165: sub displaystyle {
166: my ($texstring)=@_;
167: #has a $$ or \[ or \displaystyle in it, guessinng it's display mode
168: if ($$texstring=~/[^\\]\$\$/ ||
169: $$texstring=~/\\\[/ ||
170: $$texstring=~/\\displaystyle/) { return 1; }
171: return 0;
172: }
173:
174: sub jsMath_converted {
175: my $texstring=shift;
176: my $tag='span';
177: if (&displaystyle($texstring)) { $tag='div'; }
178: &clean_out_math_mode($texstring);
179: return &jsMath_header().
180: '<'.$tag.' class="math">'.$$texstring.'</'.$tag.'>';
181: }
182:
183: {
184: my @jsMath_sent_header;
185: sub jsMath_reset {
186: undef(@jsMath_sent_header);
187: }
188: sub jsMath_push {
189: push(@jsMath_sent_header,0);
190: }
191: sub jsMath_header {
192: if (!@jsMath_sent_header) {
193: &Apache::lonnet::logthis("mismatched calls of jsMath_header and jsMath_process");
194: return '';
195: }
196: return '' if $jsMath_sent_header[-1];
197: $jsMath_sent_header[-1]=1;
198: return
199: '<script type="text/javascript">
200: function NoFontMessage () {}
201: jsMath = {Parser: {prototype: {environments: {\'eqnarray*\' :[\'Array\',null,null,\'rcl\',[5/18,5/18],3,\'D\']}}}};
202: </script>'."\n".
203: '<script type="text/javascript" src="/adm/jsMath/jsMath.js"></script>'."\n";
204: }
205: sub jsMath_process {
206: my $state = pop(@jsMath_sent_header);
207: return '' if !$state;
208: return "\n".
209: '<script type="text/javascript">jsMath.Process()</script>'."\n";
210: }
211: sub jsMath_state {
212: my ($level) = @_;
213: return $jsMath_sent_header[$level];
214: }
215: }
216:
217: sub tex_engine {
218: if (exists($env{'form.texengine'})) {
219: if ($env{'form.texengine'} ne '') {
220: return $env{'form.texengine'};
221: }
222: }
223: if ($env{'request.course.id'}
224: && exists($env{'course.'.$env{'request.course.id'}.'.texengine'})) {
225: return $env{'course.'.$env{'request.course.id'}.'.texengine'};
226: }
227: if (exists($env{'environment.texengine'})) {
228: return $env{'environment.texengine'};
229: }
230: return 'tth';
231: }
232:
233: sub init_math_support {
234: my ($inherit_jsmath) = @_;
235: &init_tth();
236: &Apache::lontexconvert::jsMath_push();
237: if (lc(&tex_engine()) eq 'jsmath' ||
238: ($inherit_jsmath && &jsMath_state(-2))) {
239: return &Apache::lontexconvert::jsMath_header();
240: }
241: return;
242: }
243:
244: sub mimetex_converted {
245: my $texstring=shift;
246: my $displaystyle=&displaystyle($texstring);
247:
248: &clean_out_math_mode($texstring);
249:
250: if ($displaystyle) {
251: $$texstring='\\displaystyle \\Large '.$$texstring;
252: }
253: my $result='<img src="/cgi-bin/mimetex.cgi?'.&escape($$texstring).'" alt="$'.$$texstring.'$" />';
254: if ($displaystyle) {
255: $result='<center>'.$result.'</center>';
256: }
257: return $result;
258: }
259:
260: sub converted {
261: my ($string,$mode)=@_;
262: if ($mode eq '') { $mode = &tex_engine(); }
263: if ($mode =~ /tth/i) {
264: return &tth_converted($string);
265: } elsif ($mode =~ /jsmath/i) {
266: return &jsMath_converted($string);
267: } elsif ($mode =~ /mimetex/i) {
268: return &mimetex_converted($string);
269: }
270: return &tth_converted($string);
271: }
272:
273: # ------------------------------------------------------------ Message display
274:
275: sub to_convert {
276: my ($string) = @_;
277: $string=~s/\<br\s*\/?\>/ /gs;
278: # $string=~s/\s/ /gs;
279: $string=&HTML::Entities::decode($string);
280: return &converted(\$string);
281: }
282:
283: sub smiley {
284: my $expression=shift;
285: if ($env{'browser.imagesuppress'} eq 'on') { return $expression; }
286: my %smileys=('\:\-\)' => 'smiley',
287: '8\-\)' => 'coolsmile',
288: '8\-(I|\|)' => 'coolindiff',
289: ':\-(I|\|)' => 'neutral',
290: '\:\-(o|O|\(\))' => 'shocked',
291: ':\-\(' => 'frowny',
292: '\;\-\)' => 'wink',
293: '\:\-P' => 'baeh',
294: '\:\-(\\\|\\/)' => 'hrrm',
295: '\:\-D' => 'bigsmile',
296: '\:\-C' => 'angry',
297: '\:(\'|\`)\-\(' => 'cry',
298: '\:\-(X|\#)' => 'lipsrsealed',
299: '\:\-S' => 'huh');
300: my $iconpath=$Apache::lonnet::perlvar{'lonIconsURL'};
301: foreach my $smiley (keys(%smileys)) {
302: $expression=~s/$smiley/\<img src="$iconpath\/$smileys{$smiley}.gif" \/\>/gs;
303: }
304: return $expression;
305: }
306:
307: sub msgtexconverted {
308: my ($message,$email) = @_;
309: $errorstring='';
310: &init_tth();
311: my $outmessage='';
312: my $tex=0;
313: foreach my $fragment (split(/(?:\<\;|\<)\/*m\s*(?:\>\;|\>)/i,$message)) {
314: if ($tex) {
315: if ($email) {
316: $outmessage.='</pre><tt>'.&to_convert($fragment).'</tt><pre>';
317: $tex=0;
318: } else {
319: $outmessage.=&to_convert($fragment);
320: $tex=0;
321: }
322: } else {
323: $outmessage.=&smiley($fragment);
324: $tex=1;
325: }
326: }
327: $message=$outmessage; $outmessage=''; $tex=0;
328: foreach my $fragment (split(/(?:\<\;|\<)\/*algebra\s*(?:\>\;|\>)/i,
329: $message)) {
330: if ($tex) {
331: if ($email) {
332: $outmessage.='</pre><tt>'.&algebra($fragment,'web').'</tt><pre>';
333: $tex=0;
334: } else {
335: $outmessage.=&algebra($fragment,'web');
336: $tex=0;
337: }
338: } else {
339: $outmessage.=$fragment;
340: $tex=1;
341: }
342: }
343: if (wantarray) {
344: return ($outmessage,$errorstring);
345: } else {
346: return $outmessage.$errorstring;
347: }
348: }
349:
350: sub algebra {
351: use AlgParser;
352:
353: my ($string,$target,$style,$parstack,$safeeval)=@_;
354: my $parser = new AlgParserWithImplicitExpand;
355: $string=&prepare_algebra($string);
356: my $ret = $parser->parse($string);
357: my $result='['.&mt('Algebra unconverted due to previous errors').']';
358: if ( ref($ret) ) {
359: #$parser->tostring();
360: $parser->normalize();
361: my $latex=$parser->tolatex();
362: $latex=&postprocess_algebra($latex);
363: if ($style eq 'display') {
364: $latex='$$'.$latex.'$$x';
365: } else {
366: # style is 'inline'
367: $latex='\\ensuremath{'.$latex.'}';
368: }
369: if ($target eq 'web' || $target eq 'analyze') {
370: my $display=&Apache::lonxml::get_param('display',$parstack,$safeeval);
371: $result = &converted(\$latex,$display);
372: # $result = &converted(\$latex);
373: } else {
374: $result = $latex;
375: }
376: } else {
377: &Apache::lonxml::error($parser->{'htmlerror'});
378: }
379: }
380:
381: sub prepare_algebra {
382: my ($string)=@_;
383:
384: # makes the decision about what is a minus sign easier supposedly
385: $string =~ s/(\<\>|\<\=|\>\=[\=\>\<] *)-/$1 zeroplace -/g;
386:
387: return $string;
388: }
389:
390: sub postprocess_algebra {
391: my ($string)=@_;
392:
393: # moodle had these and I don't know why, ignoring them for now
394: # $string =~s/\\fun/ /g;
395:
396: # sqrt(3,4) means the 4 root of 3
397: $string =~s/\\sqrt{([^,]+),([^\}]+)}/\\sqrt[$2]{$1}/gs;
398:
399: # log(3,4) means the log base 4 of 3
400: $string =~s/\\log\\left\((.+?),(.+?)\\right\)/\\log_{$2}\\left($1\\right)/gs;
401:
402: # log(3,4) means the log base 4 of 3
403: $string =~s/\\((?:sin|cos|tan|sec|csc|cot)(?:h)?)\\left\((.+?),(.+?)\\right\)/\\$1^{$3}\\left($2\\right)/gs;
404:
405: # int(3,a,b) integral from a to b of 3
406: $string =~s/\\int\\left\((.+?),(.+?),(.+?)\\right\)/\\int_{$2}^{$3}\\left($1\\right)/gs;
407:
408: # int( ... dx) -> ...
409: $string =~s/\\int\\left\((.+?)d[a-z]\\right\)/$1/gs;
410:
411: #
412: $string =~s/\\lim\\left\((.+?),(.+?),(.+?)\\right\)/\\lim_{$2\\to $3}$1/gs;
413: return $string;
414: }
415: 1;
416: __END__
417:
418:
419: =pod
420:
421: =head1 NAME
422:
423: Apache::lontexconvert;
424:
425: =head1 SYNOPSIS
426:
427: Access to tth/ttm
428:
429: This is part of the LearningOnline Network with CAPA project
430: described at http://www.lon-capa.org.
431:
432:
433: =head1 SUBROUTINES
434:
435: =over
436:
437: =item init_tth()
438:
439: Header
440:
441: =item convert_real()
442:
443: we need this routine because &converted can get called from inside
444: of the safespace (through &xmlparse('<m>stuff</m>') which doesn't
445: allow the opcode for alarm, so we need to compile this before we get
446: into the safe space since opcode checks only occur at compile time
447:
448: =item tth_converted()
449:
450:
451: =item clean_out_math_mode()
452:
453:
454: =item displaystyle()
455:
456:
457: =item jsMath_converted()
458:
459:
460: =item tex_engine()
461:
462:
463: =item init_math_support()
464:
465:
466: =item mimetex_converted()
467:
468:
469: =item converted()
470:
471:
472: =item to_convert()
473:
474: message display
475:
476: =item smiley()
477:
478: ???
479:
480: =item msgtexconverted()
481:
482: =item algebra()
483:
484: =item prepare_algebra()
485:
486: =item postprocess_algebra()
487:
488: =back
489:
490: =cut
491:
492:
493:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>