StringTools - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Names and Strings : StringTools Package : Combinatorics on Words : StringTools/PatternEquivalent

StringTools

  

PatternEquivalent

  

determine whether two strings determine equivalent patterns

  

PatternCanonicalForm

  

compute the pattern canonical form of a string

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

PatternEquivalent( s, t )

PatternCanonicalForm( s )

PatternCanonicalForm( s, 'base' = ch )

Parameters

s

-

Maple string

t

-

Maple string

ch

-

character; Maple character (string of length equal to one)

Description

• 

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<=lengths one has si&equals;sj if, and only if, ti&equals;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.

Examples

withStringTools&colon;

PatternEquivalentabc&comma;xyz

true

(1)

PatternEquivalentabc&comma;xyx

false

(2)

VisiblePatternCanonicalFormabc

\1\2\3

(3)

PatternCanonicalFormabc&comma;&apos;base&apos;&equals;a

abc

(4)

PatternCanonicalFormxyz&comma;&apos;base&apos;&equals;a

abc

(5)

PatternCanonicalFormxyx&comma;&apos;base&apos;&equals;a

aba

(6)

See Also

string

StringTools

StringTools[Search]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam