finite_dimensional_signature.at

Lines:
203
Definitions:
24
Dependencies:
finite_dimensional.atrepresentations.atK_types.atweyl_character_formula.atK_highest_weights.at
Source:
GitHub

Definitions

NameSignatureDescription
verbose_fdsig
long_rat_as_integer_string(rat r) =
is_self_dual({finite dimensional}Param p) = bool:finite dimensional
Frobenius_Schur({finite dimensional}Param p) = int:finite dimensional
fs= Frobenius_Schur@{finite dimensional}Paramfinite dimensional
is_self_conjugate({finite dimensional}Param p) = bool:finite dimensional
real_quaternionic({finite dimensional}Param p) = int:finite dimensional
rq= real_quaternionic@{finite dimensional}Paramfinite dimensional
signature({finite dimensional}Param p) = (int,int):finite dimensional
signature_string({finite dimensional}Param p) = string:finite dimensional
index({finite dimensional}Param p) = int: min(signature(p))index min(p,q) of Hermitian form on a finite dimensional representation
index_string({finite dimensional}Param p) = string:index min(p,q) of Hermitian form on a finite dimensional representation
anisotropic_part({finite dimensional}Param p) = int:finite dimensional
anisotropic_part_string({finite dimensional}Param p) = string:finite dimensional
fd_report(RealForm G, int k) = void:
signature_trace({equal rank finite dimensional}Param p) = (int,int):equal rank finite dimensional
signature_trace_string({equal rank finite dimensional}Param p) = string:equal rank finite dimensional
index_trace({equal rank finite dimensional}Param p) = int:equal rank finite dimensional
index_trace_string({equal rank finite dimensional}Param p) = string:equal rank finite dimensional
anisotropic_part_trace({equal rank finite dimensional}Param p) = int:equal rank finite dimensional
anisotropic_part_trace_stringrank finite dimensional}Param p) =equal rank finite dimensional
fd_report_trace(RealForm G, int k) = void:
trace_report(RootDatum rd, ratvec v, int k) = void:
show_signature({finite dimensional}Param p) = void:finite dimensional