Diff for /loncom/homework/lonmaxima.pm between versions 1.1 and 1.29

version 1.1, 2006/03/11 16:28:03 version 1.29, 2010/06/14 11:34:18
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;
   
 sub connect {  sub connect {
    return IO::Socket::UNIX->new(Peer    => $Apache::lonnet::perlvar{'lonSockDir'}.'/maximasock',     return IO::Socket::UNIX->new(Peer    => $Apache::lonnet::perlvar{'lonSockDir'}.'/maximasock',
Line 46  sub disconnect { Line 48  sub disconnect {
 sub maximareply {  sub maximareply {
     my ($socket,$cmd)=@_;      my ($socket,$cmd)=@_;
     if ($socket) {      if ($socket) {
  print $socket &Apache::lonnet::escape($cmd)."\n";   print $socket &escape($cmd)."\n";
         my $reply=<$socket>;          my $reply=<$socket>;
         chomp($reply);          chomp($reply);
         if ($reply=~/^Incorrect/) { $reply='Error: '.$reply; }          if ($reply=~/^Incorrect/) { $reply='Error: '.$reply; }
         return &Apache::lonnet::unescape($reply);          return &unescape($reply);
     } else {      } else {
         return 'Error: no connection.';          return 'Error: no connection.';
     }      }
Line 58  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 (
  if ($cmd=~/$forbidden/) { return 1; }          '\? ','\?','%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; }
     }       } 
     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)=@_;
      $expression=&Apache::response::implicit_multiplication($expression);
      $expression=~s/([^\w\%])pi/$1\%pi/gs;
      return $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'; }
     if ($reply=~/^Error\:/) { return $reply; }      if ($reply=~/^Error\:/) { return $reply; }
     return 'false';      return 'false';
 }  }
   
   sub maxima_check {
       my ($response,$answer,$reterror) = @_;
       my $socket=&connect();
       my $reply=&compareterms($socket,$response,$answer);
       &disconnect($socket);
       # integer to string mappings come from capaParser.h
       # 1 maps to 'EXACT_ANS'
       if ($reply eq 'true') { return 1; }
       # 11 maps to 'BAD_FORMULA'
       if ($reply=~/^Error\:/) { return 11; }
       # 7 maps to 'INCORRECT'
       return 7;
   }
     
 1;  1;
 __END__;  __END__;

Removed from v.1.1  
changed lines
  Added in v.1.29


FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
500 Internal Server Error

Internal Server Error

The server encountered an internal error or misconfiguration and was unable to complete your request.

Please contact the server administrator at root@localhost to inform them of the time this error occurred, and the actions you performed just before this error.

More information about this error may be available in the server error log.