determine whether two strings determine equivalent patterns
compute the pattern canonical form of a string
PatternEquivalent( s, t )
PatternCanonicalForm( s )
PatternCanonicalForm( s, 'base' = ch )
character; Maple character (string of length equal to one)
The PatternEquivalent command determines whether the two strings s and t define equivalent (isomorphic) patterns. Two strings s and t are pattern equivalent if they have the same length and if, for all indices i and j with 1<=i<j<=length⁡s one has si=sj if, and only if, ti=tj.
The PatternCanonicalForm command computes the pattern canonical form of the string s. This is defined to be the lexicographically least string pattern equivalent to s. Note that two strings are pattern equivalent precisely when they have the same pattern canonical form.
Since the numerically least character that can appear in a Maple string has ASCII value equal to 1, and low ASCII values are generally not printable, the PatternCanonicalForm command takes a 'base' = ch option, which allows you to specify the numerically least character you would like to appear in the output string. In the presence of this option, the pattern canonical form is computed using the specified character rather than the character Char( 1 ). This option is intended mainly for interactive use and debugging. The PatternCanonicalForm command runs measurably faster in the absence of the base option.
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.