61.15 DCEWrite

DCEWrite(universe,filename)

This function writes selected information from the DCE Universe universe onto the file filename in a format suitable for recovery with DCERead.

Previous Up Top Next
Index

GAP 3.4.4
April 1997