hermitian_debug.at Function References


c_form_irreducible

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


c_form_irreducible_long

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


twisted_c_form_irreducible

twisted_c_form_irreducible:Param p,mat delta->ParamPol Defined in line number 77.


twisted_c_form_irr_as_sum_of_standards

twisted_c_form_irr_as_sum_of_standards:Param p, mat delta->ParamPol Defined in line number 95.


twisted_c_form_irreducible

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


twisted_c_form_irreducible_long

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


twisted_c_form_irreducible_long

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


mixed

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


mixed_terms

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


analyse

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


lambda_plus_rho_res_T

lambda_plus_rho_res_T:KGBElt x,ratvec lambda->ratvec Defined in line number 177.


mu

mu:Param p->rat Defined in line number 182.


number_real_orthogonal_pairs

number_real_orthogonal_pairs:KGBElt x, mat delta->int Defined in line number 200.


mu_terms

mu_terms:Param p,mat delta->[rat] Defined in line number 221.


mu_in_terms_of_z

mu_in_terms_of_z:Param p,mat delta->rat Defined in line number 231.


mu

mu:Param p,mat delta->rat Defined in line number 235.


convert_cform_hermitian

convert_cform_hermitian:ParamPol P,mat delta->ParamPol Defined in line number 267.

Convert (twisted) c-form to hermitian form

convert_cform_hermitian

convert_cform_hermitian:ParamPol P->ParamPol Defined in line number 278.


hermitian_dual

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

Hermitian dual

is_hermitian

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

Whether J(p) admits an invariant Hermitian form

check_hermitian

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


hermitian_form_irreducible

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

Hermitian form on a irreducible module, canonical normalization

hermitian_form_irreducible_long

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


print_hermitian_form_irreducible

print_hermitian_form_irreducible:[Param] P,mat delta->void Defined in line number 333.


print_hermitian_form_irreducible

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


is_unitary

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


is_weakly_unitary

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


is_weakly_unitary

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


test_line

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


weak_test

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


strong_test

strong_test:Param p,mat delta->bool Defined in line number 417.