Fix labels for list-types in $SetReplaceTypeGraph - Githubissues

maxitg / SetReplace

C++/Wolfram Language package for exploring set and graph rewriting systems

MIT License

219 stars 45 forks source link

Fix labels for list-types in $SetReplaceTypeGraph #625

Closed maxitg closed 3 years ago

maxitg commented 3 years ago

Changes

Labels for types that are lists (e.g., {MultisetSubstitutionSystem, 0}) don't currently show correctly due to Graph interpreting MultisetSubstitutionSystem and 0 as separate labels and plotting them on top of each other.
This PR fixes that by converting labels to strings.

Examples

Declare a type:

SetReplace`PackageScope`declareTypeTranslation[Identity, {String, 0}, {Integer, 0}];
Unprotect[$SetReplaceTypes];
Unprotect[$SetReplaceProperties];
Unprotect[$SetReplaceTypeGraph];
SetReplace`PackageScope`initializeTypeSystem[];

Show a type graph which is now rendered correctly:

In[] := $SetReplaceTypeGraph

This change is