3.13 ReadLib

ReadLib( name )

ReadLib reads input from the library file with the name name. ReadLib prefixes name with the value of the variable LIBNAME and appends the string ".g" and calls Read (see Read) with this file name.

Previous Up Top Next
Index

GAP 3.4.4
April 1997