Script Reference
hodge_test.at
Definitions
| Name | Signature | Description |
|---|---|---|
| hodge_test_verbose | ||
| test_positive | M)=bool:all(for i:#M do is_non_negative(transpose(M)[i]) od) | |
| test_positive_hodge_K_type_mat | mu,int N)=(i_poly_mat,i_poly_mat,bool): | |
| test_positive_hodge_K_type_mat | ktypes,int N)=bool: | |
| test_elementary_hodge_grading_std_at_1 | (Param p) = bool: | |
| test_elementary_hodge_grading_std_at_s | p)=bool: | |
| test_elementary_hodge_grading_irr_at_1 | p)=bool: | |
| test_elementary_hodge_grading_irr_at_s | p) = bool: | |
| test_hodge_grading_std_at_1 | p,int N) = bool: | |
| test_hodge_grading_std_at_s | p,int N) = bool: | |
| hodge_test | p, int N)= | |
| hodgetest | p,int N)=bool: | |
| hodge_test | G,int N)=bool:let (,pass)=hodge_test(trivial(G),N) in pass | |
| hodge_test | params,int N)=(bool,[bool]):let result=for p in params do let (,pass)=hodge_test(p,N) in pass od | |
| run_hodge_tests | k)= | |
| run_hodge_tests | ||
| test_hodge_K_type_mat | mu,int N)=(i_poly_mat,[bool],bool): | |
| test_hodge_K_type_mat | mus,int N)=([([[vec]],bool)],bool): | |
| print_hodge_K_type_mat | mu, int N)=(int,[KType],i_poly_mat,i_poly_mat): | |
| print_hodge_K_type_mat_trivial | G, int N)=(int,[KType],i_poly_mat,i_poly_mat): |