Design #1194
Updated by Anna Maria Bigatti about 6 years ago
The functions @HilbertBasisKer@ and @LinKerBasis@ have the same kind of input and output.
Maybe this would be clearer with more compatible similar names: @LinKerHilbertBasis@?
Maybe this would be clearer with more compatible similar names: @LinKerHilbertBasis@?