hermitian.at Function References


c_form_irreducible

c_form_irreducible:Param p->ParamPol Defined in line number 14.

C-invariant form on irreducible module of p as ParamPol of standardrepKs

c_form_irreducible_long

c_form_irreducible_long:Param p->(ParamPol,[(Param,Split,ParamPol)],ParamPol) Defined in line number 37.

C-form on an irreducible, with extra output

twisted_c_form_irreducible_contributions

twisted_c_form_irreducible_contributions:Param p->(ParamPol,ParamPol) Defined in line number 58.


twisted_c_form_irreducible_as_sum_of_standards

twisted_c_form_irreducible_as_sum_of_standards:Param p->ParamPol Defined in line number 71.


twisted_c_form_irreducible

twisted_c_form_irreducible:Param p->ParamPol Defined in line number 82.

Twisted c-invariant form on an irreducible in terms of standardrepKs

twisted_c_form_irreducible_long

twisted_c_form_irreducible_long:Param p->(ParamPol,[(Param,Split,ParamPol)],ParamPol) Defined in line number 89.

C_form_irrecible with extra information

twist_orbits

twist_orbits:ParamPol P->ParamPol Defined in line number 108.


mixed

mixed:Split w->bool Defined in line number 144.


mixed_terms

mixed_terms:ParamPol P->ParamPol Defined in line number 145.


analyse

analyse:ParamPol P->void Defined in line number 147.


hermitian_dual

hermitian_dual:Param p->Param Defined in line number 153.

Hermitian dual

is_hermitian

is_hermitian:Param p->bool Defined in line number 156.

Whether J(p) admits an invariant Hermitian form

check_hermitian

check_hermitian:Param p, bool irreducible->void Defined in line number 158.


hermitian_form_std

hermitian_form_std:Param p->ParamPol Defined in line number 165.

Hermitian form on a standard module, canonical normalization

hermitian_form_irreducible

hermitian_form_irreducible:Param p->ParamPol Defined in line number 172.

Hermitian form on a irreducible module, normalization from its initial term

hermitian_form_irreducible

hermitian_form_irreducible:Param p,Param p0->ParamPol Defined in line number 179.

Hermitian form on a irreducible module, normalization from p0

hermitian_form_irreducible_long

hermitian_form_irreducible_long:Param p->(ParamPol,[(Param,Split,ParamPol)],ParamPol) Defined in line number 188.

Hermitian form on an irreducible, with extra information

hermitian_form_irreducible_long

hermitian_form_irreducible_long:Param p, Param p0->(ParamPol,[(Param,Split,ParamPol)],ParamPol) Defined in line number 195.


print_hermitian_form_irreducible

print_hermitian_form_irreducible:[Param] P->void Defined in line number 208.

Nice output of Hermitian forms on list of parameters

print_hermitian_form_irreducible

print_hermitian_form_irreducible:[Param] P,Param p0->void Defined in line number 217.


analyse_hermitian_form_irreducible

analyse_hermitian_form_irreducible:Param p->void Defined in line number 251.


hermitian_form_is_pure

hermitian_form_is_pure:Param p->bool Defined in line number 279.


is_unitary

is_unitary:Param p->bool Defined in line number 310.


is_weakly_unitary

is_weakly_unitary:ParamPol P->bool Defined in line number 328.


is_weakly_unitary

is_weakly_unitary:Param p->bool Defined in line number 332.


test_line

test_line:Param p->void Defined in line number 341.


weak_test

weak_test:Param p->bool Defined in line number 364.


strong_test

strong_test:Param p->bool Defined in line number 373.