changed fixity
implemented multiplication using mult-table for zero-dimensional ideals