Skip to content

RootDegree ​

The number of children of the root.

✓ checked against that system · ! checked, with disagreements (hover a chip)FindStatSt000084via OrderedTree✓
RootDegree(tree)The number of children of the root.
Typed signatures
TypePackageApplies
(ordered_tree) -> numbercombinatoricsalways

Domain: Tree statistics

Details
  • Defined over OrderedTree as an expression in _x, evaluated by compute-engine — the definition IS the implementation.
  • Takes a OrderedTree and nothing else — it reads values against their positions, or walks the orbits, so it needs the bijection. Applying it to a bare list is a type error, not a wrong answer.

Definition

Epsil, as the implementation runs it.

on OrderedTree, over _x

Length(_x)

Examples

Basic #

the ordered tree [[],[[]],[]][[],[[]],[]]

live ↗
InRootDegree(OrderedTree⁡([[],[[]],[]]))\mathrm{RootDegree}({\operatorname{OrderedTree}}(\bigl\lbrack\bigl\lbrack\bigr\rbrack, \bigl\lbrack\bigl\lbrack\bigr\rbrack\bigr\rbrack, \bigl\lbrack\bigr\rbrack\bigr\rbrack))Out33
Properties #

FindStat's value for [[]]

live ↗
InCombinatorialStat(OrderedTree⁡([[]]),RootDegree)\mathrm{CombinatorialStat}({\operatorname{OrderedTree}}(\bigl\lbrack\bigl\lbrack\bigr\rbrack\bigr\rbrack), \text{RootDegree})Out11

Known value · FindStat St000084

FindStat's value for [[[]]]

live ↗
InCombinatorialStat(OrderedTree⁡([[[]]]),RootDegree)\mathrm{CombinatorialStat}({\operatorname{OrderedTree}}(\bigl\lbrack\bigl\lbrack\bigl\lbrack\bigr\rbrack\bigr\rbrack\bigr\rbrack), \text{RootDegree})Out11

Known value · FindStat St000084

FindStat's value for [[],[]]

live ↗
InCombinatorialStat(OrderedTree⁡([[],[]]),RootDegree)\mathrm{CombinatorialStat}({\operatorname{OrderedTree}}(\bigl\lbrack\bigl\lbrack\bigr\rbrack, \bigl\lbrack\bigr\rbrack\bigr\rbrack), \text{RootDegree})Out22

Known value · FindStat St000084

About
Examples4
CrosswalkFindStat