[BACK]Return to dp.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2018 / builtin

Diff for /OpenXM_contrib2/asir2018/builtin/dp.c between version 1.14 and 1.15

version 1.14, 2019/09/13 09:02:49 version 1.15, 2019/09/19 06:29:47
Line 45 
Line 45 
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *   *
  * $OpenXM: OpenXM_contrib2/asir2018/builtin/dp.c,v 1.13 2019/09/05 08:49:43 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2018/builtin/dp.c,v 1.14 2019/09/13 09:02:49 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "base.h"  #include "base.h"
Line 91  void Pdp_gr_checklist();
Line 91  void Pdp_gr_checklist();
 void Pdp_ltod(),Pdpv_ord(),Pdpv_ht(),Pdpv_hm(),Pdpv_hc();  void Pdp_ltod(),Pdpv_ord(),Pdpv_ht(),Pdpv_hm(),Pdpv_hc();
 void Pdpm_ltod(),Pdpm_dtol(),Pdpm_set_schreyer(),Pdpm_nf(),Pdpm_weyl_nf(),Pdpm_sp(),Pdpm_weyl_sp(),Pdpm_nf_and_quotient();  void Pdpm_ltod(),Pdpm_dtol(),Pdpm_set_schreyer(),Pdpm_nf(),Pdpm_weyl_nf(),Pdpm_sp(),Pdpm_weyl_sp(),Pdpm_nf_and_quotient();
 void Pdpm_hm(),Pdpm_ht(),Pdpm_hc(),Pdpm_hp(),Pdpm_rest(),Pdpm_shift(),Pdpm_split(),Pdpm_sort(),Pdpm_dptodpm(),Pdpm_redble();  void Pdpm_hm(),Pdpm_ht(),Pdpm_hc(),Pdpm_hp(),Pdpm_rest(),Pdpm_shift(),Pdpm_split(),Pdpm_sort(),Pdpm_dptodpm(),Pdpm_redble();
 void Pdpm_schreyer_base(),Pdpm_simplify_syz();  void Pdpm_schreyer_base(),Pdpm_simplify_syz(),Pdpm_td();
   
 void Pdp_weyl_red();  void Pdp_weyl_red();
 void Pdp_weyl_sp();  void Pdp_weyl_sp();
Line 311  struct ftab dp_supp_tab[] = {
Line 311  struct ftab dp_supp_tab[] = {
   {"dp_mag",Pdp_mag,1},    {"dp_mag",Pdp_mag,1},
   {"dp_sugar",Pdp_sugar,1},    {"dp_sugar",Pdp_sugar,1},
   {"dp_set_sugar",Pdp_set_sugar,2},    {"dp_set_sugar",Pdp_set_sugar,2},
     {"dpm_td",Pdpm_td,1},
   
   /* misc */    /* misc */
   {"dp_mbase",Pdp_mbase,1},    {"dp_mbase",Pdp_mbase,1},
Line 929  void Pdp_ord(NODE arg,Obj *rp)
Line 930  void Pdp_ord(NODE arg,Obj *rp)
     else if ( !create_order_spec(0,(Obj)ARG0(arg),&spec) )      else if ( !create_order_spec(0,(Obj)ARG0(arg),&spec) )
       error("dp_ord : invalid order specification");        error("dp_ord : invalid order specification");
     initd(spec); *rp = spec->obj;      initd(spec); *rp = spec->obj;
     if ( spec->id >= 256 ) dpm_ordtype = spec->ispot;      if ( spec->id >= 256 ) dpm_ordtype = spec->module_ordtype;
   }    }
 }  }
   
Line 2182  void Pdp_td(NODE arg,Z *rp)
Line 2183  void Pdp_td(NODE arg,Z *rp)
     STOZ(BDY(p)->dl->td,*rp);      STOZ(BDY(p)->dl->td,*rp);
 }  }
   
   void Pdpm_td(NODE arg,Z *rp)
   {
     DPM p;
   
     p = (DPM)ARG0(arg); asir_assert(p,O_DPM,"dpm_td");
     if ( !p )
       *rp = 0;
     else
       STOZ(BDY(p)->dl->td,*rp);
   }
   
 void Pdp_sugar(NODE arg,Z *rp)  void Pdp_sugar(NODE arg,Z *rp)
 {  {
   DP p;    DP p;
Line 3920  void Pdpv_ord(NODE arg,Obj *rp)
Line 3932  void Pdpv_ord(NODE arg,Obj *rp)
 }  }
   
 extern int dpm_ordtype;  extern int dpm_ordtype;
   extern DMMstack dmm_stack;
   
 void set_schreyer_order(LIST n);  void set_schreyer_order(LIST n);
   
 LIST schreyer_obj;  
   
 void Pdpm_set_schreyer(NODE arg,LIST *rp)  void Pdpm_set_schreyer(NODE arg,LIST *rp)
 {  {
   if ( argc(arg) ) {    if ( argc(arg) ) {
     schreyer_obj = (LIST)ARG0(arg);      set_schreyer_order((LIST)ARG0(arg));
     set_schreyer_order(schreyer_obj);  
   }    }
   *rp = schreyer_obj;    *rp = dmm_stack->obj;
 }  }
   
 void Pdpm_hm(NODE arg,DPM *rp)  void Pdpm_hm(NODE arg,DPM *rp)
Legend:
Removed from v.1.14  
changed lines
  Added in v.1.15
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>