|
20 | 20 | :meth:`~Bijectionist.set_constant_blocks` | Declare that the statistic is constant on some sets.
|
21 | 21 | :meth:`~Bijectionist.set_distributions` | Restrict the distribution of values of the statistic on some elements.
|
22 | 22 | :meth:`~Bijectionist.set_intertwining_relations` | Declare that the statistic intertwines with other maps.
|
23 |
| - :meth:`~Bijectionist.set_pseudo_inverse_relation` | Declare that the statistic satisfies a certain relation. |
| 23 | + :meth:`~Bijectionist.set_quadratic_relation` | Declare that the statistic satisfies a certain relation. |
24 | 24 | :meth:`~Bijectionist.set_homomesic` | Declare that the statistic is homomesic with respect to a given set partition.
|
25 | 25 |
|
26 | 26 |
|
@@ -535,7 +535,7 @@ def __init__(self, A, B, tau=None, alpha_beta=tuple(), P=[],
|
535 | 535 | self.set_statistics(*alpha_beta)
|
536 | 536 | self.set_value_restrictions(*value_restrictions)
|
537 | 537 | self.set_distributions(*elements_distributions)
|
538 |
| - self.set_pseudo_inverse_relation(*phi_psi) |
| 538 | + self.set_quadratic_relation(*phi_psi) |
539 | 539 | self.set_homomesic(Q)
|
540 | 540 | self.set_intertwining_relations(*pi_rho)
|
541 | 541 | self.set_constant_blocks(P)
|
@@ -1395,7 +1395,7 @@ def set_intertwining_relations(self, *pi_rho):
|
1395 | 1395 |
|
1396 | 1396 | set_semi_conjugacy = set_intertwining_relations
|
1397 | 1397 |
|
1398 |
| - def set_pseudo_inverse_relation(self, *phi_psi): |
| 1398 | + def set_quadratic_relation(self, *phi_psi): |
1399 | 1399 | r"""
|
1400 | 1400 | Add restrictions of the form `s\circ\psi\circ s = \phi`.
|
1401 | 1401 |
|
@@ -1430,7 +1430,7 @@ def set_pseudo_inverse_relation(self, *phi_psi):
|
1430 | 1430 | ( [ /\ ] ) ]
|
1431 | 1431 | ( [ /\/\ / \ ] [ /\ ] ) ]
|
1432 | 1432 | ( [ / \, / \ ], [ /\/\/\, /\/ \ ] ) ]
|
1433 |
| - sage: bij.set_pseudo_inverse_relation((lambda D: D, lambda D: D)) |
| 1433 | + sage: bij.set_quadratic_relation((lambda D: D, lambda D: D)) |
1434 | 1434 | sage: ascii_art(sorted(bij.minimal_subdistributions_iterator()))
|
1435 | 1435 | [ ( [ /\ ] )
|
1436 | 1436 | [ ( [ / \ ] ) ( [ /\ ] [ /\/\ ] )
|
@@ -2516,7 +2516,7 @@ def __init__(self, bijectionist: Bijectionist, solutions=None):
|
2516 | 2516 | name=f"block {p}"[:50])
|
2517 | 2517 | self.add_alpha_beta_constraints()
|
2518 | 2518 | self.add_distribution_constraints()
|
2519 |
| - self.add_pseudo_inverse_relation_constraints() |
| 2519 | + self.add_quadratic_relation_constraints() |
2520 | 2520 | self.add_homomesic_constraints()
|
2521 | 2521 | self.add_intertwining_relation_constraints()
|
2522 | 2522 | if get_verbose() >= 2:
|
@@ -2959,7 +2959,7 @@ def add_intertwining_relation_constraints(self):
|
2959 | 2959 | self.milp.add_constraint(rhs <= 0,
|
2960 | 2960 | name=f"pi/rho({composition_index})")
|
2961 | 2961 |
|
2962 |
| - def add_pseudo_inverse_relation_constraints(self): |
| 2962 | + def add_quadratic_relation_constraints(self): |
2963 | 2963 | r"""
|
2964 | 2964 | Add constraints enforcing that `s\circ\phi\circ s =
|
2965 | 2965 | \psi`.
|
@@ -2987,7 +2987,7 @@ def add_pseudo_inverse_relation_constraints(self):
|
2987 | 2987 | ( [ /\ ] ) ]
|
2988 | 2988 | ( [ /\/\ / \ ] [ /\ ] ) ]
|
2989 | 2989 | ( [ / \, / \ ], [ /\/\/\, /\/ \ ] ) ]
|
2990 |
| - sage: bij.set_pseudo_inverse_relation((lambda D: D, lambda D: D)) # indirect doctest |
| 2990 | + sage: bij.set_quadratic_relation((lambda D: D, lambda D: D)) # indirect doctest |
2991 | 2991 | sage: ascii_art(sorted(bij.minimal_subdistributions_iterator()))
|
2992 | 2992 | [ ( [ /\ ] )
|
2993 | 2993 | [ ( [ / \ ] ) ( [ /\ ] [ /\/\ ] )
|
|
0 commit comments