Tabloid == Tabloid -- check if two tabloids are equal

Operator: ==
Usage:

T1 == T2
Inputs:
- T1, an instance of the type Tabloid, a tabloid.
- T2, an instance of the type Tabloid, a tabloid.
Outputs:
- b, a Boolean value, whether the tabloids are equal or not.

Description

Two tabloids are equal if they have the same representative. That is, if their corresponding rows contain the same numbers.

i1 : T1 = tabloid(new Partition from {5,3,1}, new Partition from {2}, {7,2,4,1,3,6,5})

             ┌───────────┐
o1 =         │ 7   2   4 │
     ┌───────┴───┬───────┘
     │ 1   3   6 │        
     ├───┬───────┘        
     │ 5 │                
     └───┘                

o1 : Tabloid

i2 : T2 = tabloid(new Partition from {5,3,1}, new Partition from {2}, {2,7,4,3,6,1,5})

             ┌───────────┐
o2 =         │ 2   7   4 │
     ┌───────┴───┬───────┘
     │ 3   6   1 │        
     ├───┬───────┘        
     │ 5 │                
     └───┘                

o2 : Tabloid

i3 : T1 == T2

o3 = true

Ways to use this method:

Tabloid == Tabloid -- check if two tabloids are equal

The source of this document is in Tableaux/documentation.m2:1761:0.