8.9.1 gr , hgr , gr_mod , dgr | | |
8.9.2 lex_hensel , lex_tl , tolex , tolex_d , tolex_tl | | |
8.9.3 lex_hensel_gsl , tolex_gsl , tolex_gsl_d | | |
8.9.4 gr_minipoly , minipoly | | |
8.9.5 tolexm , minipolym | | |
8.9.6 dp_gr_main , dp_gr_mod_main , dp_gr_f_main , dp_weyl_gr_main , dp_weyl_gr_mod_main , dp_weyl_gr_f_main | | |
8.9.7 dp_f4_main , dp_f4_mod_main , dp_weyl_f4_main , dp_weyl_f4_mod_main | | |
8.9.8 dp_gr_flags , dp_gr_print | | |
8.9.9 dp_ord | | |
8.9.10 dp_ptod | | |
8.9.11 dp_dtop | | |
8.9.12 dp_mod , dp_rat | | |
8.9.13 dp_homo , dp_dehomo | | |
8.9.14 dp_ptozp , dp_prim | | |
8.9.15 dp_nf , dp_nf_mod , dp_true_nf , dp_true_nf_mod | | |
8.9.16 dp_hm , dp_ht , dp_hc , dp_rest | | |
8.9.17 dp_td , dp_sugar | | |
8.9.18 dp_lcm | | |
8.9.19 dp_redble | | |
8.9.20 dp_subd | | |
8.9.22 dp_mbase | | |
8.9.23 dp_mag | | |
8.9.24 dp_red , dp_red_mod | | |
8.9.25 dp_sp , dp_sp_mod | | |
8.9.26 p_nf , p_nf_mod , p_true_nf , p_true_nf_mod | | |
8.9.27 p_terms | | |
8.9.28 gb_comp | | |
8.9.29 katsura , hkatsura , cyclic , hcyclic | | |
8.9.21 dp_vtoe , dp_etov | | |
8.9.3 lex_hensel_gsl , tolex_gsl , tolex_gsl_d | | |
8.9.30 primadec , primedec | | |
8.9.31 primedec_mod | | |
8.9.32 bfunction , bfct , generic_bfct , ann , ann0 | | |