61.16 DCERead

DCERead(universe,filename)

This function recovers the information written to file filename by DCEWrite. universe must be a DCE Universe of status ``Set up'', created from exactly the same presentation as was used to create the universe originally written to the file.

Previous Up Top Next
Index

GAP 3.4.4
April 1997