Index HOMALG_IO.Pictograms 3.2-1 homalgIOMode 3.1-1 HomalgToCAS .-3 IsHomalgExternalRingRep 4.1-1 -------------------------------------------------------