pgfPicture(Picture,HashTable,String) -- create a pgf picture from a Picture object with options and store it in a file

• Function: pgfPicture

• Usage:

  pgfPicture(mypict,opts,filename)

• Inputs:
  • mypict, an instance of the type Picture,
  • opts, a hash table, containing the options
  • filename, a string, the name of the storage file