discont actually recognizes its own fallibility. From ?discont:

- discont returns a set of values where it is possible (not necessarily certain) that discontinuities occur.

Now that I check, the plots don't seem to work on my Linux machine either. I don't get exceptions though, I get Java Apps with "Plotting Error". The rest of the worksheet seems to have executed just fine though. Java 1.5.0_13 here.

I am not sure if this is exactly what you are looking for, but you could take a look at the Modular subpackage of LinearAlgebra: ?LinearAlgebra[Modular] It doesn't do Eigenvalues directly but you can Eg: Find the Characteristic Polynomial Mod 2: with(LinearAlgebra[Modular]); A := Matrix(5, 5, proc (i, j) options operator, arrow; rand() end proc); fA := CharacteristicPolynomial(2, A, x); Factor(fA) mod 2;

This looks like a bug in one of the internal solve routines in Maple 11. Here is another way to solve this:

sys:={...your system...};
SolveTools[PolynomialSystem](sys, indets(sys));

From ?SolveTools[PolynomialSystem]:

The PolynomialSystem command uses a number of heuristic techniques to find solutions efficiently. If these techniques are not successful, the function uses Groebner Bases methods.

The first notation y:=t-> defines y as a function so you can use the notation y(x), y(t) , etc. Just writing y:= defines y as a regular variable whose value is the expression on the right hand side of the assignment.

The first notation y:=t-> defines y as a function so you can use the notation y(x), y(t) , etc. Just writing y:= defines y as a regular variable whose value is the expression on the right hand side of the assignment.

You'll want to do a: with(IntegrationTools); before that or IntegrationTools[Change] of course.

I use Maple mode for vim and find it very useful. Recently, I was wondering how I could get syntax highlighting into my command line file viewer (more or less) and happened upon this nice trick for repurposing vim into a pager. Having "less" with syntax highlighting is nice.