Singular

LIB "ncfactor.lib";
tst_ncfactor();
==> Testing delete_duplicates_noteval.
==> Successful.
==> Testing delete_duplicates_noteval_and_sort
==> Successful.
==> Testing combinekfinlf
==> Successful.
==> Testing permpp
==> Successful.
==> Testing binarySearch
==> Successful.
==> Testing getAllDivisorsFromFactList
==> Successful.
==> Testing triangNum
==> Successful.
==> Testing fromListToIntvec
==> Successful.
==> Testing fromIntvecToList
==> Successful.
==> Testing produceHomogListForProduct
==> Successful.
==> Testing possibleHomogPartsInBetween
==> Successful.
==> Testing nextSmallerEntry
==> Successful.
==> Testing possibleHomogPartsInBetweenNonRecursive
==> Successful.
==> Testing increment_intvec
==> Successful.
==> Testing isListEqual
==> Successful.
==> Testing ncfactor_isWeyl
==> Successful.
==> Testing ncfactor_isQWeyl
==> Successful.
==> Testing checkIfProperNthWeyl
==> Successful.
==> Testing checkIfProperNthQWeyl
==> Successful.
==> Testing isInCommutativeSubRing
==> Successful.
==> Testing factor_commutative
==> Successful.
==> Testing factorizeInt
==> Successful.
==> Testing getAllCoeffTuplesComb
==> Successful.
==> Testing normalizeFactors
==> Successful.
==> Testing divides
==> Successful.
==> Testing multiplyFactIntOutput
==> Successful.
==> Testing testNCfac
==> Successful.
==> Testing monsSmallerThan
==> Successful.
==> Testing getMaxDegreeVec
==> Successful.
==> Testing isFactorizationSmaller
==> Successful.
==> Testing sortedInsert
==> Successful.
==> Testing isFactorizationEqual
==> Successful.
==> Testing sortFactorizations
==> Successful.
==> Testing homogfacNthWeyl
==> Successful.
==> Testing homogfacNthWeyl_all
==> Successful.
==> Testing facWeyl
==> Successful.
==> Testing checkForHomogInhomogInterchangabilityNthWeyl
==> Successful.
==> Testing sfacwa2NthWeyl
==> Successful.
==> Testing sfacwa2NthWeyl
==> Successful.
==> Testing determineRestOfHomogPartsNthWeyl
==> Successful.
==> Testing gammaForThetaNthWeyl
==> Successful.
==> Testing extractHomogeneousDivisorsNthWeyl
==> Successful.
==> Testing extractHomogeneousDivisorsLeftNthWeyl
==> Successful.
==> Testing extractHomogeneousDivisorsRightNthWeyl
==> Successful.
==> Testing computeCombinationsMinMaxHomogNthWeyl
==> Successful.
==> Testing getAllCombOfHomogFact
==> Successful.
==> Testing getPossibilitiesForRightSides
==> Successful.
==> Testing homogDistributionNthWeyl
==> Successful.
==> Testing extractLeadingTermOfNthWeylPoly
==> Successful.
==> Testing degreeOfNthWeylPoly
==> Successful.
==> Testing degreeOfNthWeylPolyInverted
==> Successful.
==> Testing homogwithorderNthWeyl
==> Successful.
==> Testing isInWeylSubAlg
==> Successful.
==> Testing facSubWeyl
==> Successful.
==> Testing facShift
==> Successful.
==> Testing homogfacNthQWeyl
==> Test 4 for homogfacNthQWeyl failed.
==> Expected:n
==> [1]:
==>    1/2
==> [2]:
==>    (2*q4^6)*x4^4*d4^4+(2*q4^5+4*q4^4+6*q4^3)*x4^3*d4^3+(2*q4^3+6*q4^2+6*q\
   4)*x4^2*d4^2+3*x2*d2+2*x4*d4+10
==> [3]:
==>    (q3)*x3^2*d3^2+(q4)*x4^2*d4^2+x3*d3+x4*d4+4
==> obtained:n
==> [1]:
==>    1/2
==> [2]:
==>    (q3)*x3^2*d3^2+(q4)*x4^2*d4^2+x3*d3+x4*d4+4
==> [3]:
==>    (2*q4^6)*x4^4*d4^4+(2*q4^5+4*q4^4+6*q4^3)*x4^3*d4^3+(2*q4^3+6*q4^2+6*q\
   4)*x4^2*d4^2+3*x2*d2+2*x4*d4+10
==> Test 5 for homogfacNthQWeyl failed.
==> Expected:n
==> [1]:
==>    1/2
==> [2]:
==>    (2*q4^6)*x4^4*d4^4+(2*q4^5+4*q4^4+6*q4^3)*x4^3*d4^3+(2*q4^3+6*q4^2+6*q\
   4)*x4^2*d4^2+3*x2*d2+2*x4*d4+10
==> [3]:
==>    (q3)*x3^2*d3^2+(q4)*x4^2*d4^2+x3*d3+x4*d4+4
==> [4]:
==>    d1
==> [5]:
==>    x2
==> [6]:
==>    d3
==> [7]:
==>    x4
==> obtained:n
==> [1]:
==>    1/2
==> [2]:
==>    (q3)*x3^2*d3^2+(q4)*x4^2*d4^2+x3*d3+x4*d4+4
==> [3]:
==>    (2*q4^6)*x4^4*d4^4+(2*q4^5+4*q4^4+6*q4^3)*x4^3*d4^3+(2*q4^3+6*q4^2+6*q\
   4)*x4^2*d4^2+3*x2*d2+2*x4*d4+10
==> [4]:
==>    d1
==> [5]:
==>    x2
==> [6]:
==>    d3
==> [7]:
==>    x4
==>    ? homogfacNthQWeyl is not working properly.
==>    ? leaving ncfactor.lib::tst_ncfactor (0)