Singular Manual: tst_ncfactor

| ##### 7.5.12.0. tst_ncfactor Procedure from library `ncfactor.lib` (see ncfactor_lib). Example:
    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)

User manual for Singular version 4-1-2p4, 2020, generated by texi2html.