JAS: Java Algebra System

Version 2.7, 2023

by Heinz Kredel, University of Mannheim, kredel at rz.uni-mannheim.de

Copyright (c) 2000-2023 by Heinz Kredel.

Programms released under GPL or LGPL, see COPYING.jas or COPYING.lgpl.jas.

Web home-page: http://krum.rz.uni-mannheim.de/jas/

Requirements

A Java JDK 1.11.

Documentation see index.html.

Required libraries are log4j-core-2.17.1.jar, log4j-api-2.17.1.jar (from Apache Log4j2 or jars from some other compatible logging framework like SLF4J) and junit-4.12.jar, hamcrest-core-1.3.jar (from Junit 4 for tests in trc)

Usage

java -cp {other_jar_files}:jas--bin.jar:.

for example

java -cp ../lib/log4j-core-2.17.1.jar:../lib/log4j-api-2.17.1.jar:jas-2.6.5428-bin.jar edu.jas.application.RunGB seq examples/trinks7.jas

or

jruby examples/.rb

or

jas examples/.rb

for example

./jas examples/all_rings.rb

or

jython examples/.py

or

jas -py examples/.py

The shell script "jas" figures out the Java, jruby, jython and JAS environment and runs the respective scripting interpreter. See

man -l doc/jas.1 for more information.

Compilation of your own Java files using the JAS library can be done with the "javac" command.

javac -cp {other_jar_files}:jas--bin.jar:.

Versions and jar files

JAS is distributed in 3 jar files:

jas--bin.jar: or jas-.jar: the Java class files jas--src.zip: the java source code jas--doc.zip: the Java doc, epydoc, jrdoc and more info files

optional jar files which require further installed packages:

jas-meditor.jar: the interface to meditor jas-jython.jar: an interface for Java scripting jas-mpj.jar: MPI Java depending code mylog.jar: a substitute for log4j to use Java logging nolog.jar: a substitute for log4j to disable any logging droidlog.jar: a substitute for log4j to use Android logging jlinalg_adapter.jar: an adaptor to parts of JLinAlg commons-math_adapter.jar: an adaptor to parts of Apache commons.math

pre packaged JAS versions:

jas-java_-all.deb a Debian 10 (buster) package usable in MathLibre ruboto-irb-jas-release.apk an Android App based on Ruboto (defunct)

There are GIT repositories for the scource code, which can be cloned with

git clone http://krum.rz.uni-mannheim.de/jas.git jas or git clone https://github.com/kredel/java-algebra-system.git jas

There is a Maven compatible repository for bytecode, source and javadocs at

https://oss.sonatype.org/

groupId: de.uni-mannheim.rz.krum, artifactId: jas, version (for example): 2.7.50

The version is specified by a two digit major.minor number and a revision number. The revision number was the subversion revision number, but with git it is just a consecutive number. For example in

jas-2.7.80-bin.jar

"2.7" is the JAS version number and "80" is the git revision number

The jas--bin.jar and jas--doc.jar can be generated from jas-*-src.jar. The fastest way to get a complete JAS install, is

jar -xf jas--src.zip cd jar -xf jas--bin.jar jar -xf jas--doc.zip

If you have a working Ant with Ivy, the last two steps can be replaced by

ant resolve ant compile ant doc

provided you have setup build.xml, ivy.xml for the required libraries.

Directory structure

. main directory, entry to html documentation +doc html documentation, javadocs, jython docs, jruby docs +edu Java class files +examples examples for jython, jruby and jas +images images for html docs +jython JSR 233 scripting interface +meditor JSR 233 scripting interface for meditor +mpj MPI Java versions of distributed Groebner bases +mpi OpenMPI Java versions of distributed Groebner bases +jlinalg_adaper some adapter classes to JLinAlg +commons-math_adaper some adapter classes to Apache Commons Math3 +src source code +trc junit test sources +test junit test output and log4j output

../lib directory for required libraries, not included

$Id$