Home
last modified time | relevance | path

Searched refs:ineqDotTarget (Results 1 – 5 of 5) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/gfanlib/
H A Dgfanlib_tropicalhomotopy.h425 …mvtyp ineqDotTarget=Flags::computeDotProductInMatrix?Ak.UNCHECKEDACCESS(offsetsi+j):dotVector(i,j,… variable
426 if(ineqDotTarget.isNegative())
430 …verseLexicographicInverted(bestConfigurationIndex,bestColumnIndex,i,j,ineqDotTarget,targetDotBest))
432 targetDotBest=ineqDotTarget;
/dports/math/gfan/gfan0.6.2/src/
H A Dgfanlib_tropicalhomotopy.h425 …mvtyp ineqDotTarget=Flags::computeDotProductInMatrix?Ak.UNCHECKEDACCESS(offsetsi+j):dotVector(i,j,… variable
426 if(ineqDotTarget.isNegative())
430 …verseLexicographicInverted(bestConfigurationIndex,bestColumnIndex,i,j,ineqDotTarget,targetDotBest))
432 targetDotBest=ineqDotTarget;
H A Dapp_tropicalhomotopyFAILS.cpp742 …mvtyp ineqDotTarget=Flags::computeDotProductInMatrix?Ak.UNCHECKEDACCESS(offsetsi+j):dotVector(i,j,… in compareInequalities() local
743 if(ineqDotTarget.isNegative()) in compareInequalities()
747 …verseLexicographicInverted(bestConfigurationIndex,bestColumnIndex,i,j,ineqDotTarget,targetDotBest)) in compareInequalities()
749 targetDotBest=ineqDotTarget; in compareInequalities()
/dports/math/gfanlib/gfan0.6.2/src/
H A Dgfanlib_tropicalhomotopy.h425 …mvtyp ineqDotTarget=Flags::computeDotProductInMatrix?Ak.UNCHECKEDACCESS(offsetsi+j):dotVector(i,j,… variable
426 if(ineqDotTarget.isNegative())
430 …verseLexicographicInverted(bestConfigurationIndex,bestColumnIndex,i,j,ineqDotTarget,targetDotBest))
432 targetDotBest=ineqDotTarget;
H A Dapp_tropicalhomotopyFAILS.cpp742 …mvtyp ineqDotTarget=Flags::computeDotProductInMatrix?Ak.UNCHECKEDACCESS(offsetsi+j):dotVector(i,j,… in compareInequalities() local
743 if(ineqDotTarget.isNegative()) in compareInequalities()
747 …verseLexicographicInverted(bestConfigurationIndex,bestColumnIndex,i,j,ineqDotTarget,targetDotBest)) in compareInequalities()
749 targetDotBest=ineqDotTarget; in compareInequalities()