(9)Set Constraint Solvers

[Software Functions]

"Set Constraint Solver" is a small system that is based on computer algebla.
It offers an experimental environmet of our original (Boolean) Groebner bases 
that is not available in any other existing computer algebla systems.
It also offers a set constraint solver bases on our Grobner bases.
In this release, the algorithm of the computation of Gr\"{o}bner bases is updated according to
our new theory. 
This algorithm is essentialy a parallel algorith, although even a sequential implementation is
much faster than the previous one.
We include two source programs, one for sequential computation and another for parallel computation.

[Necessary Environments]

The whole program is written in KLIC. 
In any OS where KLIC compiler works, our program is available.

[Quantity of the software and file configuration]

README-E                this file

README-J                this file(Japanese)

RELEASE_NOTE-E          release note

RELEASE_NOTE-J          release note(Japanese)

s_setsolver.kl1         new source program(for sequential computation)

p_setsolver.kl1         new source program(for parallel computation)

setsolver.kl1           a source program of previous release

manual.tex              a latex source code for user's manual

manualj.tex             a latex source code for user's manual(Japanese)

parallel.tex            a comprehensive manual for using p_setsolver.kl1

parallelj.tex           a comprehensive manual for using p_setsolver.kl1(Japanese)

background1.tex         a latex source code of theoritical background for the system

background2.tex         a latex source code of theoritical background for new algorithm
                        used in this release(Japanese)

example/                a directory where some example files are located

  benchmark1-4          examples of serial computation

  parallel1-4           examples of parallel computation

use-of-software-E       TERMS AND CONDITIONS FOR USE OF "ICOT FREE SOFTWARE"

use-of-software-J       TERMS AND CONDITIONS FOR USE OF "ICOT FREE SOFTWARE"(Japanese)

[Others]

 We have not yet written any paper in English concerning our new algorithm.
 As soon as we write some paper in English, we will add it as an English version of
 background2.tex.

[FTP]

• README
• Program and Documents [88K]