Changeset 5cecde in git for Singular/LIB/schreyer.lib


Ignore:
Timestamp:
Aug 2, 2012, 9:58:56 PM (11 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'c987db42cd2ec943b97ac5746c99892ceddf909c')
Children:
e98c64edd3cf15f4e5d15991052a7bbcbb1184a5
Parents:
495328d14a955b215ad10b598e995ab522243881
git-author:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-08-02 21:58:56+02:00
git-committer:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-05-07 04:41:46+02:00
Message:
Totally bitmasked: CReducerFinder: FindReducer uses syz_checker.IsDivisible()
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/schreyer.lib

    r495328 r5cecde  
    24152415  ring AGR = (101), (a,b,c,d,e,f,g,h), dp; AGR;
    24162416  // AGR@101n7d005s010%2) medium: <= 2
    2417   ideal M = f*h-g*h,e*h-g*h,d*h-g*h,c*h-g*h,b*h-g*h,a*h-g*h,e*g+48*f*g-49*g*h,d*g+5*f*g-6*g*h,c*g+49*f*g-50*g*h,b*g-7*f*g+6*g*h,a*g-50*f*g+49*g*h,e*f-20*f*g+19*g*h,d*f+40*f*g-41*g*h,c*f-12*f*g+11*g*h,b*f+45*f*g-46*g*h,a*f+4*f*g-5*g*h,d*e-f*g,c*e-30*f*g+29*g*h,b*e-39*f*g+38*g*h,a*e+10*f*g-11*g*h,c*d-41*f*g+40*g*h,b*d-23*f*g+22*g*h,a*d-20*f*g+19*g*h,b*c+17*f*g-18*g*h,a*c+6*f*g-7*g*h,a*b+28*f*g-29*g*h,g^2*h-g*h^2,f^2*g-8*f*g^2+7*g*h^2,g*h^4+50*h^5,g^5+41*h^5,f*g^4-18*h^5,f^5+29*h^5,e^5+6*h^5,d^5-23*h^5,c^5-32*h^5,b^5+17*h^5,a^5+17*h^5,h^6;
     2417  ideal M =
     2418f*h-g*h,e*h-g*h,d*h-g*h,c*h-g*h,b*h-g*h,a*h-g*h,e*g+48*f*g-49*g*h,d*g+5*f*g-6*g*h,c*g+49*f*g-50*g*h,b*g-7*f*g+6*g*h,a*g-50*f*g+49*g*h,e*f-20*f*g+19*g*h,d*f+40*f*g-41*g*h,c*f-12*f*g+11*g*h,b*f+45*f*g-46*g*h,a*f+4*f*g-5*g*h,d*e-f*g,c*e-30*f*g+29*g*h,b*e-39*f*g+38*g*h,a*e+10*f*g-11*g*h,c*d-41*f*g+40*g*h,b*d-23*f*g+22*g*h,a*d-20*f*g+19*g*h,b*c+17*f*g-18*g*h,a*c+6*f*g-7*g*h,a*b+28*f*g-29*g*h,g^2*h-g*h^2,f^2*g-8*f*g^2+7*g*h^2,g*h^4+50*h^5,g^5+41*h^5,f*g^4-18*h^5,f^5+29*h^5,e^5+6*h^5,d^5-23*h^5,c^5-32*h^5,
     2419b^5+17*h^5,a^5+17*h^5,h^6;
    24182420  M;
    24192421  TestSSresAttribs2tr(M);
    24202422/*
    2421 options:  1 1 0 :  Time:  10
    2422 options:  1 1 1 :  Time:  6
     2423options:  1 1 0 :  Time:  3/10
     2424options:  1 1 1 :  Time:  2/6
    24232425lres  Time:  0
    2424 nres  Time:  26
     2426nres  Time:  25
    24252427sres  Time:  0
    24262428*/
     
    24742476  TestSSresAttribs2tr(M);
    24752477/*
    2476 options:  1 1 0 :  Time:  9/10 (35 without LCM)
    2477 options:  1 1 1 :  Time:  8/25
     2478options:  1 1 0 :  Time:  5/9/10 (35 without LCM)
     2479options:  1 1 1 :  Time:  6/8/25
    24782480lres  Time:  5
    24792481nres  Time:  5
     
    25532555  TestSSresAttribs2tr(M);
    25542556/*
    2555 options:  1 1 0 :  Time:  73/92 (316 without LCM)
    2556 options:  1 1 1 :  Time:  43/202
     2557options:  1 1 0 :  Time:  34/73/92 (316 without LCM)
     2558options:  1 1 1 :  Time:  35/43/202
    25572559lres  Time:  25
    25582560nres  Time:  20
Note: See TracChangeset for help on using the changeset viewer.