CoCoA:Untagged

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

Tagged Printing

Tag

Tagged

Shortcuts

   <type>io</type>
   <type>printing</type>
   <type>tags</type>