hermitian.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 31.


c_form_irreducible_long

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


c_form_irreducible_twisted

c_form_irreducible_twisted:Param p,mat delta->ParamPol Defined in line number 83.


c_form_irr_twisted_as_sum_of_standards

c_form_irr_twisted_as_sum_of_standards:Param p, mat delta->ParamPol Defined in line number 104.


c_form_irreducible_twisted

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


c_form_irreducible_twisted_long

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


c_form_irreducible_twisted_long

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


mixed

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


mixed_terms

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


analyse

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


lambda_plus_rho_res_T

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


mu

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


number_real_orthogonal_pairs

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


DIM_u_cap_p

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


mu_terms

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


mu_in_terms_of_z

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


mu

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


convert_cform_hermitian

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


convert_cform_hermitian

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


hermitian_form_irreducible

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


hermitian_form_irreducible_long

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


print_hermitian_form_irreducible

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


print_hermitian_form_irreducible

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


is_unitary

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


is_weakly_unitary

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


is_weakly_unitary

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


test_line

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


weak_test

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


strong_test

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


init

init:RealForm G->(RealForm,mat,Param) Defined in line number 475.