Mapping charges from different sets #
In this module we define a function map
which takes an additive monoid homomorphism
f : 𝓩 →+ 𝓩1
and a charge x : Charges 𝓩
, and returns the charge
x.map f : Charges 𝓩1
obtained by mapping the elements of x
by f
.
There are various properties which are preserved under this mapping:
- Anomaly cancellation.
- The presence of a specific term in the potential.
- Being complete.
There are some properties which are reflected under this mapping:
- Not being pheno-constrained.
- Not regenerating dangerous Yukawa terms at a given level.
We define the preimage of this mapping within a subset ofFinset S5 S10
of Charges 𝓩
in
a computationaly efficient way.
Given an additive monoid homomorphisms f : 𝓩 →+ 𝓩1
, for a charge
x : Charges 𝓩
, x.map f
is the charge of Charges 𝓩1
obtained by mapping the elements
of x
by f
.
Equations
- SuperSymmetry.SU5.Charges.map f x = (⇑f <$> x.1, ⇑f <$> x.2.1, Finset.image (⇑f) x.2.2.1, Finset.image (⇑f) x.2.2.2)
Instances For
Preimage #
The preimage of a charge Charges 𝓩1
in ofFinset S5 S10 ⊆ Charges 𝓩
under
mapping charges through f : 𝓩 →+ 𝓩1
.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The cardiniality of the
preimage of a charge Charges 𝓩1
in ofFinset S5 S10 ⊆ Charges 𝓩
under
mapping charges through f : 𝓩 →+ 𝓩1
.
Equations
- One or more equations did not get rendered due to their size.