diff -c /home/jaffer/Desktop/ideas-2011.html\~ /home/jaffer/Desktop/ideas-2011.html
*** /home/jaffer/Desktop/ideas-2011.html~	2011-04-01 12:31:43.419333588 -0400
--- /home/jaffer/Desktop/ideas-2011.html	2011-04-01 13:17:18.516801120 -0400
***************
*** 130,135 ****
--- 130,136 ----
  <a href="#guile">Guile</a> -
  <a href="#hurd">Hurd</a> -
  <a href="#icedrobot">Iced Robot</a> -
+ <a href="#jacal">JACAL</a> - 
  <a href="#kawa">Kawa</a> - 
  <a href="#libredwg">LibreDWG</a> -
  <a href="#linuxlibrefw">Linux-libre-firmware</a> -
***************
*** 288,293 ****
--- 289,316 ----
  
  <p>Please see this separate <a href="http://www.icedrobot.org/summer-of-code-2011/">ideas page</a> for IcedRobot.
  
+ 
+ <h3 id="jacal"><a href="http://people.csail.mit.edu/jaffer/JACAL">JACAL</a></h3>
+ JACAL is an interactive symbolic mathematics program. JACAL can manipulate and simplify equations, scalars, vectors, and matrices of single and multiple valued algebraic expressions containing numbers, variables, radicals, and algebraic differential, and holonomic functions. 
+ 
+ <p><strong>Contact:</strong> agj@alum.mit.edu
+ 
+ <h4>Idea</h4>
+ 
+ Finish
+ <a href="http://cvs.savannah.gnu.org/viewvc/jacal/jacal/decompose.scm?view=markup">
+   "Decomposition of Algebraic Functions"</a>.
+ 
+ <h4>Idea</h4>
+ 
+ Add support for <a href="http://www.w3.org/Math/">Mathematical Markup Language</a>
+ 
+ <h4>Idea</h4>
+ 
+ Resolve some long-standing
+ <a href="https://savannah.gnu.org/bugs/?group=jacal">JACAL bugs</a>.
+ 
+ 
  <h3 id="kawa"><a href="http://www.gnu.org/software/kawa">Kawa</a></h3>
  <p>Kawa is best known as a Scheme implementation for the Java platform.  It compiles Scheme to java bytecodes.   It is also a general framework for implementing dynamic languages, and includes a full implementation of XQuery and the beginnings of implementations of Common Lisp and Emacs Lisp (JEmacs).
  
***************
*** 336,347 ****
  <p>Currently all prolog code is completely trusted and can do anything that native java could do. However it might be interesting to add constraints that prevent it from performing certain actions and instead sandbox it. This way the host java application could recover from running non-terminating Prolog code gracefully.
  
  <h3 id="slib"><a href="http://people.csail.mit.edu/jaffer/SLIB">SLIB</a></h3>
! <p>GNU SLIB is a portable library for the programming language Scheme. It provides a platform independent framework for using packages of Scheme procedures and syntax. As distributed, SLIB contains useful packages for all Scheme implementations. Its catalog can be transparently extended to accomodate packages specific to a site, implementation, user, or directory. 
  
  <p><strong>Contact:</strong> agj@alum.mit.edu
  
  <h4>Idea</h4>
! <p>Augment SLIB's <a href="http://cvs.savannah.gnu.org/viewvc/slib/slib/dft.scm?view=markup">discrete-fourier-transform package</a> to <a href="http://people.csail.mit.edu/jaffer/SLIB#DFT">work efficiently on non-power-of-two sized arrays.</a>
  
  <h4 id="xaos"><a href="http://xaos.sf.net/">XaoS</a></h4>
  <p>XaoS is a fast real-time fractal zoomer, created by Jan Hubicka and Thomas Marsh in 1996. During the past 15 years dozens of volunteers contributed to the code. Now XaoS is maintained by J.B. Langston and Zoltan Kovacs, mentors for GSoC 2011.
--- 359,377 ----
  <p>Currently all prolog code is completely trusted and can do anything that native java could do. However it might be interesting to add constraints that prevent it from performing certain actions and instead sandbox it. This way the host java application could recover from running non-terminating Prolog code gracefully.
  
  <h3 id="slib"><a href="http://people.csail.mit.edu/jaffer/SLIB">SLIB</a></h3>
! GNU SLIB is a portable library for the programming language Scheme. It provides a platform independent framework for using packages of Scheme procedures and syntax. As distributed, SLIB contains useful packages for all Scheme implementations. Its catalog can be transparently extended to accomodate packages specific to a site, implementation, user, or directory. 
  
  <p><strong>Contact:</strong> agj@alum.mit.edu
  
  <h4>Idea</h4>
! Add
!   <a href="http://people.csail.mit.edu/jaffer/SLIB#Volunteer">variable elimination</a>
!   to SLIB's
!   <a href="http://cvs.savannah.gnu.org/viewvc/slib/slib/cring.scm?view=markup">commutative-ring</a> (symbolic algebra)
!   <a href="http://people.csail.mit.edu/jaffer/slib_5.html#SEC148">package</a>.
! 
! <h4>Idea</h4>
! Augment SLIB's <a href="http://cvs.savannah.gnu.org/viewvc/slib/slib/dft.scm?view=markup">discrete-fourier-transform package</a> to <a href="http://people.csail.mit.edu/jaffer/SLIB#Volunteer">work efficiently on non-power-of-two sized arrays.</a>
  
  <h4 id="xaos"><a href="http://xaos.sf.net/">XaoS</a></h4>
  <p>XaoS is a fast real-time fractal zoomer, created by Jan Hubicka and Thomas Marsh in 1996. During the past 15 years dozens of volunteers contributed to the code. Now XaoS is maintained by J.B. Langston and Zoltan Kovacs, mentors for GSoC 2011.

Diff finished.  Fri Apr  1 13:18:28 2011