Manuals/calci/ASSIGN

ASSIGN (String,Value)

• $String$ is the string to assign.
• Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Value} is the value assigned to the string.

Description

• This function assigning a value to the string.
• That is Assign a value to a name in an environment.

Examples

1. ASSIGN("Sun",1) = 1
2. ASSIGN("eyes",2) =2
3. ASSIGN("stars",20000) =20000

See Also

• ADDRESS

References

• ASSIGN

• List of Main Z Functions

• Z3 home