Changeset a76d6fe in git for factory/cf_gcd_smallp.cc


Ignore:
Timestamp:
Apr 4, 2012, 1:26:03 PM (12 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
050d1b7b5c8c0001dacf87ddbd94dabe39e9517d
Parents:
17f4dc52814a3825b13a9a728d3f082ad8566346
git-author:
Martin Lee <martinlee84@web.de>2012-04-04 13:26:03+02:00
git-committer:
Martin Lee <martinlee84@web.de>2012-04-04 15:02:00+02:00
Message:
fix: init of variable of negative level
File:
1 edited

Legend:

Unmodified
Added
Removed

  • factory/cf_gcd_smallp.cc

    r17f4dc ra76d6fe  
    723723    }
    724724
    725     d0= totaldegree (G_random_element, Variable(2),
    726                      Variable (G_random_element.level()));
     725    if (!G_random_element.inCoeffDomain())
     726      d0= totaldegree (G_random_element, Variable(2),
     727                       Variable (G_random_element.level()));
     728    else
     729      d0= 0;
     730
    727731    if (d0 == 0)
    728732    {
    … …  
    743747    * G_random_element;
    744748
    745     d0= totaldegree (G_random_element, Variable(2),
    746                      Variable(G_random_element.level()));
     749    if (!G_random_element.inCoeffDomain())
     750      d0= totaldegree (G_random_element, Variable(2),
     751                       Variable (G_random_element.level()));
     752    else
     753      d0= 0;
     754
    747755    if (d0 <  d)
    748756    {
    … …  
    9961004    }
    9971005
    998     d0= totaldegree (G_random_element, Variable(2),
    999                      Variable (G_random_element.level()));
     1006    if (!G_random_element.inCoeffDomain())
     1007      d0= totaldegree (G_random_element, Variable(2),
     1008                       Variable (G_random_element.level()));
     1009    else
     1010      d0= 0;
     1011
    10001012    if (d0 == 0)
    10011013    {
    … …  
    10281040    (gcdlcAlcB(random_element, x)/uni_lcoeff(G_random_element)) *
    10291041     G_random_element;
    1030     d0= totaldegree (G_random_element, Variable(2),
    1031                      Variable (G_random_element.level()));
     1042    if (!G_random_element.inCoeffDomain())
     1043      d0= totaldegree (G_random_element, Variable(2),
     1044                       Variable (G_random_element.level()));
     1045    else
     1046      d0= 0;
    10321047
    10331048    if (d0 < d)
    … …  
    13551370    }
    13561371
    1357     d0= totaldegree (G_random_element, Variable(2),
    1358                      Variable (G_random_element.level()));
     1372    if (!G_random_element.inCoeffDomain())
     1373      d0= totaldegree (G_random_element, Variable(2),
     1374                       Variable (G_random_element.level()));
     1375    else
     1376      d0= 0;
    13591377
    13601378    if (d0 == 0)
    … …  
    13761394
    13771395
    1378     d0= totaldegree (G_random_element, Variable(2),
    1379                      Variable(G_random_element.level()));
     1396    if (!G_random_element.inCoeffDomain())
     1397      d0= totaldegree (G_random_element, Variable(2),
     1398                       Variable (G_random_element.level()));
     1399    else
     1400      d0= 0;
    13801401
    13811402    if (d0 <  d)
    … …  
    29893010    }
    29903011
    2991     d0= totaldegree (G_random_element, Variable(2),
    2992                      Variable (G_random_element.level()));
     3012    if (!G_random_element.inCoeffDomain())
     3013      d0= totaldegree (G_random_element, Variable(2),
     3014                       Variable (G_random_element.level()));
     3015    else
     3016      d0= 0;
     3017
    29933018    if (d0 == 0)
    29943019    {
    … …  
    30103035
    30113036    skeleton= G_random_element;
    3012     d0= totaldegree (G_random_element, Variable(2),
    3013                      Variable(G_random_element.level()));
     3037    if (!G_random_element.inCoeffDomain())
     3038      d0= totaldegree (G_random_element, Variable(2),
     3039                       Variable (G_random_element.level()));
     3040    else
     3041      d0= 0;
     3042
    30143043    if (d0 <  d)
    30153044    {
    … …  
    31673196        }
    31683197
    3169         d0= totaldegree (G_random_element, Variable(2),
    3170                         Variable (G_random_element.level()));
     3198        if (!G_random_element.inCoeffDomain())
     3199          d0= totaldegree (G_random_element, Variable(2),
     3200                           Variable (G_random_element.level()));
     3201        else
     3202          d0= 0;
     3203
    31713204        if (d0 == 0)
    31723205        {
    … …  
    31873220        * G_random_element;
    31883221
    3189         d0= totaldegree (G_random_element, Variable(2),
    3190                         Variable(G_random_element.level()));
     3222        if (!G_random_element.inCoeffDomain())
     3223          d0= totaldegree (G_random_element, Variable(2),
     3224                          Variable (G_random_element.level()));
     3225        else
     3226          d0= 0;
     3227
    31913228        if (d0 <  d)
    31923229        {
    … …  
    34743511    }
    34753512
    3476     d0= totaldegree (G_random_element, Variable(2),
    3477                      Variable (G_random_element.level()));
     3513    if (!G_random_element.inCoeffDomain())
     3514      d0= totaldegree (G_random_element, Variable(2),
     3515                       Variable (G_random_element.level()));
     3516    else
     3517      d0= 0;
     3518
    34783519    if (d0 == 0)
    34793520    {
    … …  
    34963537    skeleton= G_random_element;
    34973538
    3498     d0= totaldegree (G_random_element, Variable(2),
    3499                      Variable(G_random_element.level()));
     3539    if (!G_random_element.inCoeffDomain())
     3540      d0= totaldegree (G_random_element, Variable(2),
     3541                       Variable (G_random_element.level()));
     3542    else
     3543      d0= 0;
     3544
    35003545    if (d0 <  d)
    35013546    {
    … …  
    36903735          break;
    36913736
    3692         d0= totaldegree (G_random_element, Variable(2),
    3693                         Variable (G_random_element.level()));
     3737        if (!G_random_element.inCoeffDomain())
     3738          d0= totaldegree (G_random_element, Variable(2),
     3739                           Variable (G_random_element.level()));
     3740        else
     3741          d0= 0;
     3742
    36943743        if (d0 == 0)
    36953744        {
    … …  
    37103759        * G_random_element;
    37113760
    3712         d0= totaldegree (G_random_element, Variable(2),
    3713                         Variable(G_random_element.level()));
     3761        if (!G_random_element.inCoeffDomain())
     3762          d0= totaldegree (G_random_element, Variable(2),
     3763                           Variable (G_random_element.level()));
     3764        else
     3765          d0= 0;
     3766
    37143767        if (d0 <  d)
    37153768        {
Note: See TracChangeset for help on using the changeset viewer.