Mr. Roman Pearce

## 1678 Reputation

19 years, 200 days
CECM/SFU
Research Associate

I am a research associate at Simon Fraser University and a member of the Computer Algebra Group at the CECM.

## Douglas Harder, University of Waterloo...

Douglas Harder's Maplesque page contains a number of Maple downloads, including DougsDocumentTools and a binary arithmetic package. He is also the developer of the Quaternions and FuzzySets packages, which are available through MapleConnect.

## larger moduli in modp1 and modp2...

I would like to see Maple's modp1 and modp2 support 25-bit moduli using the float[8] datatype, similar to the LinearAlgebra:-Modular package.

## Roman Pearce, CECM/SFU...

Personal website of Roman Pearce, research assistant at the CECM and developer of the PolynomialIdeals Maple package. Posts development code, mostly related to Groebner bases and polynomial systems.

## Linear algebra modulo n...

Maple needs better user-level facilities for doing linear algebra over finite fields, particularly the integers mod n. For example there is no good way to solve a linear system Ax=B when B is a matrix. Obviously the LinearAlgebra:-Modular package is very good at what it does. Why can't there be some nice non-programmer routines which call it ? One alternative to using the mod operator is to have all the commands in the main LinearAlgebra package accept an optional last argument for the characteristic. For example: LinearAlgebra:-GaussianElimination(A, n); Then in the GaussianElimination command you could do something like:

## The F4 Algorithm for Computing Groebner ...

I've released a Maple implementation of the F4 algorithm for computing Groebner bases. You can download it from the Maple Application Center here, or from my personal webpage here. The code requires Maple 10. It's faster than the Groebner[Basis] command for total degree orders, and it can be run in non-commutative algebras too. The coefficients are restricted to rational numbers or the integers mod p with p
 5 6 7 8 9 Page 7 of 9
﻿