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