Changeset 4df27e2 in git


Ignore:
Timestamp:
Nov 15, 2022, 11:14:46 AM (17 months ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
c83da883c6a6082e2c8a67de0d9275f441154b1f
Parents:
0a4a20dfba04555d929927f769e18fd086517dd808e898f2667529913af21341f62336e64bc3bc3c
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2022-11-15 11:14:46+01:00
git-committer:
GitHub <noreply@github.com>2022-11-15 11:14:46+01:00
Message:
Merge pull request #1160 from johannes-hoffmann/spielwiese

Edge case of total localization in olga.lib
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/olga.lib

    r0a4a20d r4df27e2  
    404404            locData = normalizeRational(locData);
    405405        }
    406         ideal I = p;
    407         intvec modLocData = intvecComplement(locData, 1..nvars(basering));
    408         I = eliminateNC(I, modLocData);
    409         if (size(I)) {
    410             return(1);
     406        int n = nvars(basering);
     407        if (size(locData) < n) { // there are variables to eliminate
     408            ideal I = p;
     409            intvec modLocData = intvecComplement(locData, 1..nvars(basering));
     410            I = eliminateNC(I, modLocData);
     411            if (size(I)) {
     412                return(1);
     413            }
     414        } else {
     415            return(p != 0);
    411416        }
    412417    }
     
    14711476        ERROR("Weyl rational isInS negative failed");
    14721477    }
     1478    intvec w = 4,2,3,4,1;
     1479    if (!isInS(x*y*Dx*Dy,2,w)) {
     1480        ERROR("Weyl total rational isInS positive failed");
     1481    }
     1482    if (isInS(0, 2, w)) {
     1483        ERROR("Weyl total rational isInS negative failed");
     1484    }
    14731485    print("    isInS OK");
    14741486}
Note: See TracChangeset for help on using the changeset viewer.