Ignore:
Timestamp:
Nov 30, 2022, 2:47:34 PM (17 months ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
0f9b034e4375576eb669e2c023d31263b050fee3
Parents:
d64b95c40e04b29c0132dc440dd6bf287f1eccfc
Message:
simplify syzextra
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/dyn_modules/syzextra/mod_main.cc

    rd64b95 rdb7f1f  
    211211
    212212
    213 
    214 /// wrapper around p_Tail and id_Tail
    215 static BOOLEAN Tail(leftv res, leftv h)
    216 {
    217   NoReturn(res);
    218 
    219   if( h == NULL )
    220   {
    221     WarnS("Tail needs a poly/vector/ideal/module argument...");
    222     return TRUE;
    223   }
    224 
    225   assume( h != NULL );
    226 
    227   const ring r =  currRing;
    228 
    229   if( h->Typ() == POLY_CMD || h->Typ() == VECTOR_CMD)
    230   {
    231     res->data = p_Tail( (const poly)h->Data(), r );
    232     res->rtyp = h->Typ();
    233 
    234     h = h->Next(); assume (h == NULL);
    235 
    236     return FALSE;
    237   }
    238 
    239   if( h->Typ() == IDEAL_CMD || h->Typ() == MODUL_CMD)
    240   {
    241     res->data = id_Tail( (const ideal)h->Data(), r );
    242     res->rtyp = h->Typ();
    243 
    244     h = h->Next(); assume (h == NULL);
    245 
    246     return FALSE;
    247   }
    248 
    249   WarnS("Tail needs a single poly/vector/ideal/module argument...");
    250   return TRUE;
    251 }
    252213
    253214/// Get leading component
     
    522483  ADD("idPrepare", FALSE, idPrepare);
    523484
    524   ADD("Tail", FALSE, Tail);
    525 
    526485#undef ADD
    527486  return MAX_TOK;
Note: See TracChangeset for help on using the changeset viewer.