‣ WriteFileForMonoidalStructure( key_val_rec, package_name, files_rec ) | ( function ) |
Returns: nothing
This functions uses the dictionary key_val_rec to create a new monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.
‣ WriteFileForClosedMonoidalStructure( key_val_rec, package_name, files_rec ) | ( function ) |
Returns: nothing
This functions uses the dictionary key_val_rec to create a new closed monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.
‣ WriteFileForLeftClosedMonoidalStructure( key_val_rec, package_name, files_rec ) | ( function ) |
Returns: nothing
This functions uses the dictionary key_val_rec to create a new left closed monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.
‣ WriteFileForCoclosedMonoidalStructure( key_val_rec, package_name, files_rec ) | ( function ) |
Returns: nothing
This functions uses the dictionary key_val_rec to create a new coclosed monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.
‣ WriteFileForLeftCoclosedMonoidalStructure( key_val_rec, package_name, files_rec ) | ( function ) |
Returns: nothing
This functions uses the dictionary key_val_rec to create a new left coclosed monoidal structure. It generates the necessary files in the package package_name using the file-correspondence table files_rec. See the implementation for details.
generated by GAPDoc2HTML