herm.at Function References


c_form_std

c_form_std:Param p->ParamPol Defined in line number 13.


c_form_irreducible

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


c_form_irreducible_long

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


c_form_irreducible_twisted

c_form_irreducible_twisted:Param p->ParamPol Defined in line number 75.


c_form_irr_twisted_as_sum_of_standards

c_form_irr_twisted_as_sum_of_standards:Param p->ParamPol Defined in line number 95.


c_form_irreducible_twisted_long

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


mixed

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


mixed_terms

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


analyse

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


lambda_plus_rho_res_T

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


mu

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


number_real_orthogonal_pairs

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


DIM_u_cap_p

DIM_u_cap_p:KGBElt x->int Defined in line number 211.


mu_terms

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


mu

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


convert_cform_hermitian

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


convert_cform_hermitian

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


hermitian_form_irreducible

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


hermitian_form_irreducible_long

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


print_hermitian_form_irreducible

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


print_hermitian_form_irreducible

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


is_unitary

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


is_weakly_unitary

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


is_weakly_unitary

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


test_line

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


weak_test

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


strong_test

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