zsi man page

zsi — sum and intersection of spaces

Synopsis

zsi [Options] <Space1> <Space2> <Sum> <Int>

Description

This program reads in two spaces from Space1 and Space2 and writes out their sum and intersection, in semi-echelon form, to Sum and Int, respectively. The input files must be matrices over the same field and with the same number of columns. They need not be in echelon form.

There must be enough memory to hold two copies of each of the two spaces at the same time.

Options

-Q
Quiet, no messages.
-V
Verbose, more messages.
-T <MaxTime>
Set CPU time limit

Input Files

Space1
The first space.
Space2
The second space.

Output Files

Sum
The sum of the spaces.
Int
The intersection of the spaces.

Info

2.4.24 MeatAxe User Commands