CoCoA:Untagged
From ApCoCoAWiki
Untagged
untag an object
Description
This function strips an object E of its tag, if any.
@E is equivalent to Untagged(E).
Tags are used for pretty printing of objects. See the reference
listed below.
Example
L := [1,2,3]; M := Tagged(L,<quotes>MyTag</quotes>); Type(L); LIST ------------------------------- Type(M); TAGGED(<quotes>MyTag</quotes>) ------------------------------- Type(Untagged(M)); LIST -------------------------------
Syntax
Untagged(E:TAGGED_OBJECT):UNTAGGED_OBJECT
<type>io</type> <type>printing</type> <type>tags</type>