storeHasseGraph(HasseGraph,String) -- store a Hasse graph in a file

• Function: storeHasseGraph

• Usage:

  storeHasseGraph(H,f)

• Inputs:
  • H, an instance of the type HasseGraph,
  • f, a string, a file name