Script Reference

galois.at

Lines:
172
Definitions:
28
Dependencies:
basic.atgroups.atgenerate_groups.atsort.atparameters.atlattice.at
Source:
GitHub

Definitions

NameSignatureDescription
square_classes(InnerClass ic) = [[int]]:
strong_real_forms_indicesic) = [int]:
strong_real_formsic) = [RealForm]:
print_strong_real(RealForm G) = void:
find_class([[int]] vecs, int k) = int:
part_containing(int k) = ([[int]] parts) [int]:
central_invariant_index(InnerClass ic, int k) = int:
central_invariant_index(RealForm G) = int:
central_invariantG)=ratvec:square(G) {see parameters.at}see parameters.at
central_invariantic,int i)=ratvec:central_invariant(ic.real_forms[i])
in_one_plus_delta_Zic,ratvec v)=bool:
one_plus_delta_Z_deric)=[ratvec]:
in_one_plus_delta_Z_deric,ratvec v)=bool:
in_one_plus_delta_Zic,ratvec v)=
equal_central_invariantic,ratvec v,ratvec w)=bool:in_one_plus_delta_Z(ic,v-w)
equal_central_invariantG,ratvec v)=bool:
real_forms_given_central_invariantic,ratvec v)=[RealForm]:
strong_real_forms_given_central_invariantic,ratvec v)=[RealForm]:
strong_real_forms_central_invariant_eic)=[RealForm]:
strong_real_forms_same_type(InnerClass ic, int k) = [int]:
strong_real_forms_same_type(RealForm G) =
strong_real_forms_typeic,int k)=[int]:square_classes(ic)[k]
H1(RealForm G) = int: #strong_real_forms_same_type(G)
iterate_H1(int min_rank, int max_rank) = void:
pi0(RealForm G) = int: 2^(components_rank(G))
iterate_H1(int rank) = void: iterate_H1(rank,rank)
iterate_H1= @void: iterate_H1(1,8)
conjugacy_classes_involutionsrd)=int: