=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/strobj.c,v retrieving revision 1.115 retrieving revision 1.118 diff -u -p -r1.115 -r1.118 --- OpenXM_contrib2/asir2000/builtin/strobj.c 2006/08/09 05:05:28 1.115 +++ OpenXM_contrib2/asir2000/builtin/strobj.c 2007/04/15 11:01:01 1.118 @@ -45,7 +45,7 @@ * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. * - * $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.114 2005/12/19 01:31:43 noro Exp $ + * $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.117 2006/08/27 22:17:27 noro Exp $ */ #include "ca.h" #include "parse.h" @@ -105,10 +105,10 @@ void Pqt_to_nbp(); void Pshuffle_mul(), Pharmonic_mul(); void Pnbp_hm(), Pnbp_ht(), Pnbp_hc(), Pnbp_rest(); void Pnbp_tm(), Pnbp_tt(), Pnbp_tc(), Pnbp_trest(); -void Pnbm_deg(); +void Pnbm_deg(), Pnbm_index(); void Pnbm_hp_rest(); void Pnbm_hxky(), Pnbm_xky_rest(); -void Pnbm_hv(), Pnbm_rest(); +void Pnbm_hv(), Pnbm_tv(), Pnbm_rest(),Pnbm_trest(); void Pquote_to_funargs(),Pfunargs_to_quote(),Pget_function_name(); void Pqt_match(),Pget_quote_id(); @@ -188,11 +188,14 @@ struct ftab str_tab[] = { {"nbp_tc", Pnbp_tc,1}, {"nbp_trest", Pnbp_trest,1}, {"nbm_deg", Pnbm_deg,1}, + {"nbm_index", Pnbm_index,1}, {"nbm_hxky", Pnbm_hxky,1}, {"nbm_xky_rest", Pnbm_xky_rest,1}, {"nbm_hp_rest", Pnbm_hp_rest,1}, {"nbm_hv", Pnbm_hv,1}, + {"nbm_tv", Pnbm_tv,1}, {"nbm_rest", Pnbm_rest,1}, + {"nbm_trest", Pnbm_trest,1}, {"qt_to_nary",Pqt_to_nary,1}, {"qt_to_bin",Pqt_to_bin,2}, @@ -2533,6 +2536,28 @@ void Pnbm_deg(NODE arg, Q *rp) } } +void Pnbm_index(NODE arg, Q *rp) +{ + NBP p; + NBM m; + unsigned int *b; + int d,i,r; + + p = (NBP)ARG0(arg); + if ( !p ) + STOQ(0,*rp); + else { + m = (NBM)BDY(BDY(p)); + d = m->d; + if ( d > 32 ) + error("nbm_index : weight too large"); + b = m->b; + for ( r = 0, i = d-2; i > 0; i-- ) + if ( !NBM_GET(b,i) ) r |= (1<<(d-2-i)); + STOQ(r,*rp); + } +} + void Pnbm_hp_rest(NODE arg, LIST *rp) { NBP p,h,r; @@ -2614,6 +2639,28 @@ void Pnbm_rest(NODE arg, NBP *rp) *rp = 0; else separate_nbm((NBM)BDY(BDY(p)),0,0,rp); +} + +void Pnbm_tv(NODE arg, NBP *rp) +{ + NBP p; + + p = (NBP)ARG0(arg); + if ( !p ) + *rp = 0; + else + separate_tail_nbm((NBM)BDY(BDY(p)),0,0,rp); +} + +void Pnbm_trest(NODE arg, NBP *rp) +{ + NBP p; + + p = (NBP)ARG0(arg); + if ( !p ) + *rp = 0; + else + separate_tail_nbm((NBM)BDY(BDY(p)),0,rp,0); } NBP fnode_to_nbp(FNODE f)