Polymake Template Library (PTL)
4.2
|
Extract an element with a desired tag from a tagged meta-list. Defines following results: value = matching value or Default if nothing found is_specified = true If the tag occurs in the list tagged_value = Tag<Value> or void if nothing found