Manuals/calci/EXTRACTTEXT

EXTRACTTEXT(string)

• $string$ is the string from which you want to extract text.

Description

• EXTRACTTEXT is used to extract text from the entered string.
• $string$ can be a combination of characters, text, numbers etc. entered in double quotation marks.

Examples

1. EXTRACTTEXT("abc123") = abc
2. EXTRACTTEXT("House Number 4566") = HouseNumber
3. EXTRACTTEXT("how are you?") = howareyou?
4. EXTRACTTEXT("1***%%%1") = ***%%%
5. EXTRACTTEXT(67895) = (No text. Hence no output)

See Also

• EXTRACTNUMBERS

References

String

• List of Main Z Functions

• Z3 home