version 1.5, 2006/06/13 14:57:54
|
version 1.27, 2008/09/25 10:23:56
|
Line 31 package Apache::lonmaxima;
|
Line 31 package Apache::lonmaxima;
|
use strict; |
use strict; |
use IO::Socket; |
use IO::Socket; |
use Apache::lonnet; |
use Apache::lonnet; |
|
use Apache::response(); |
use LONCAPA; |
use LONCAPA; |
|
|
sub connect { |
sub connect { |
Line 59 sub maximareply {
|
Line 60 sub maximareply {
|
|
|
sub blacklisted { |
sub blacklisted { |
my ($cmd)=@_; |
my ($cmd)=@_; |
foreach my $forbidden ('save','load','plot','lisp','includ','compil','file','batch','stringout','translat','stout','stin','block','system') { |
foreach my $forbidden ( |
|
'\? ','\?','%i\d','%o','batch','block' |
|
,'compil','concat','describe','display2d','file','inchar' |
|
,'includ','lisp','load','outchar','plot','quit' |
|
,'read','reset','save','stin','stout','stringout' |
|
,'system','translat','ttyoff','with_stdout','writefile' |
|
) { |
if ($cmd=~/$forbidden/s) { return 1; } |
if ($cmd=~/$forbidden/s) { return 1; } |
} |
} |
return 0; |
return 0; |
} |
} |
|
|
|
sub maxima_allowed_libraries { |
|
return ( |
|
"absimp","affine","atensor","atrig1","augmented_lagrangian","contrib_ode","ctensor","descriptive","diag", |
|
"eigen","facexp","fft","fourie","functs","ggf","grobner","impdiff","ineq","interpol","itensor","lapack", |
|
"lbfgs","lindstedt","linearalgebra","lsquares","makeOrders","mnewton","mchrpl","ntrig","orthopoly", |
|
"quadpack","rducon","romberg","scifac","simplex","solve_rec","sqdnst","stats","sterling","sym","units", |
|
"vect","zeilberger"); |
|
} |
|
|
|
sub maxima_is_allowed_library { |
|
my ($library)=@_; |
|
foreach my $allowed_library (&maxima_allowed_libraries()) { |
|
if ($library eq $allowed_library) { return 1; } |
|
} |
|
return 0; |
|
} |
|
|
|
sub runscript { |
|
my ($socket,$fullscript,$libraries)=@_; |
|
if (&blacklisted($fullscript)) { return 'Error: blacklisted'; } |
|
my $reply; |
|
$fullscript=~s/[\n\r\l]//gs; |
|
if ($libraries) { |
|
foreach my $library (split(/\s*\,\s*/,$libraries)) { |
|
unless ($library=~/\w/) { next; } |
|
if (&maxima_is_allowed_library($library)) { |
|
$reply=&maximareply($socket,'load('.$library.')$'."\n"); |
|
if ($reply=~/^Error\:/) { return $reply; } |
|
} else { |
|
return 'Error: blacklisted'; |
|
} |
|
} |
|
} |
|
foreach my $line (split(/\;/s,$fullscript)) { |
|
if ($line=~/\w/) { $reply=&maximareply($socket,$line.";\n"); } |
|
if ($reply=~/^Error\:/) { return $reply; } |
|
} |
|
$reply=~s/^\s*//gs; |
|
$reply=~s/\s*$//gs; |
|
&Apache::lonxml::debug("maxima $fullscript \n reply $reply"); |
|
return $reply; |
|
} |
|
|
|
sub maxima_cas_formula_fix { |
|
my ($expression)=@_; |
|
return &Apache::response::implicit_multiplication($expression); |
|
} |
|
|
|
sub maxima_run { |
|
my ($script,$submission,$argument,$libraries) = @_; |
|
my $socket=&connect(); |
|
my @submissionarray=split(/\s*\,\s*/,$submission); |
|
for (my $i=0;$i<=$#submissionarray;$i++) { |
|
my $n=$i+1; |
|
my $fixedsubmission=&maxima_cas_formula_fix($submissionarray[$i]); |
|
$script=~s/RESPONSE\[$n\]/$fixedsubmission/gs; |
|
} |
|
my @argumentarray=@{$argument}; |
|
for (my $i=0;$i<=$#argumentarray;$i++) { |
|
my $n=$i+1; |
|
my $fixedargument=&maxima_cas_formula_fix($argumentarray[$i]); |
|
$script=~s/LONCAPALIST\[$n\]/$fixedargument/gs; |
|
} |
|
my $reply=&runscript($socket,$script,$libraries); |
|
&disconnect($socket); |
|
if ($reply=~/^\s*true\s*$/i) { return 'EXACT_ANS'; } |
|
if ($reply=~/^\s*false\s*$/i) { return 'INCORRECT'; } |
|
return 'BAD_FORMULA'; |
|
} |
|
|
|
sub maxima_eval { |
|
my ($script,$libraries) = @_; |
|
my $socket=&connect(); |
|
my $reply=&runscript($socket,$script,$libraries); |
|
&disconnect($socket); |
|
return $reply; |
|
} |
|
|
|
|
sub compareterms { |
sub compareterms { |
my ($socket,$terma,$termb)=@_; |
my ($socket,$terma,$termb)=@_; |
my $difference=$terma.'-'.$termb; |
my $difference=$terma.'-('.$termb.')'; |
if (&blacklisted($difference)) { return 'Error: blacklisted'; } |
if (&blacklisted($difference)) { return 'Error: blacklisted'; } |
my $reply=&maximareply($socket,'trigsimp(trigreduce('.$difference.'));'); |
my $reply=&maximareply($socket,'trigsimp(trigreduce('.$difference.'));'); |
if ($reply=~/^\s*0\s*$/) { return 'true'; } |
if ($reply=~/^\s*0\s*$/) { return 'true'; } |
Line 80 sub maxima_check {
|
Line 166 sub maxima_check {
|
my $socket=&connect(); |
my $socket=&connect(); |
my $reply=&compareterms($socket,$response,$answer); |
my $reply=&compareterms($socket,$response,$answer); |
&disconnect($socket); |
&disconnect($socket); |
|
# integer to string mappings come from capaParser.h |
|
# 1 maps to 'EXACT_ANS' |
if ($reply eq 'true') { return 1; } |
if ($reply eq 'true') { return 1; } |
|
# 11 maps to 'BAD_FORMULA' |
|
if ($reply=~/^Error\:/) { return 11; } |
|
# 7 maps to 'INCORRECT' |
return 7; |
return 7; |
} |
} |
|
|