OpenXM_contrib2/asir2000/builtin/undocumented - diff

Return to undocumented CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / builtin

version 1.1, 2016/03/24 01:31:06

version 1.2, 2016/08/27 03:09:03

Line 81 dp_set_kara",Pdp_set_kara,-1},

dp_set_module_weight",Pdp_set_module_weight,-1},

dp_set_mpi",Pdp_set_mpi,-1},

dp_set_sugar",Pdp_set_sugar,2},

dp_set_top_weight",Pdp_set_top_weight,-1},

dp_set_weight",Pdp_set_weight,-1},

dp_sort",Pdp_sort,1},

dp_symb_add",Pdp_symb_add,2},

dp_tdiv",Pdp_tdiv,2},

Line 94 dp_true_nf_mod",Pdp_true_nf_mod,5},

Line 92 dp_true_nf_mod",Pdp_true_nf_mod,5},

dp_weyl_act",Pdp_weyl_act,2},

dp_weyl_mul",Pdp_weyl_mul,2},

dp_weyl_mul_mod",Pdp_weyl_mul_mod,3},

dp_weyl_nf",Pdp_weyl_nf,4},

dp_weyl_nf_f",Pdp_weyl_nf_f,4},

dp_weyl_nf_mod",Pdp_weyl_nf_mod,5},

dp_weyl_red",Pdp_weyl_red,3},

dp_weyl_set_weight",Pdp_weyl_set_weight,-1},

dp_weyl_sp",Pdp_weyl_sp,2},

dpv_hc",Pdpv_hc,1},

dpv_hm",Pdpv_hm,1},