NumberSystem.PositiveNumberToMantissa
Back to table
/*
Number-System
NumberSystem.PositiveNumberToMantissa
[int() mantissa]=NumberSystem.PositiveNumberToMantissa(real N, int maxDigit, int systemBase);
Get the mantissa of a real number N>=0 by the systemBase-based number system. The mantissa(=-1) means the period (.) seperator of the real number.
*/
//-------------------------------------------------------------------
// examples
[v]=NumberSystem.Radixes(15);
Print(v);
[v]=NumberSystem.RadixFromIndex(5,14);
Print(v);
[v]=NumberSystem.RadixToIndex("7",18);
Print(v);
[v]=NumberSystem.LeastSignificantDigit(100,19);
Print(v);
[v]=NumberSystem.PositiveIntegerToMantissa(100,19);
Print(v);
[v]=NumberSystem.MantissaToPositiveInteger(int(2,3,4),19);
Print(v);
[v]=NumberSystem.MostSignificantDigit( 0.1, 16);
Print(v);
[v]=NumberSystem.PositiveDecimalToMantissa(0.1,3,16);
Print(v);
[v]=NumberSystem.MantissaToPositiveDecimal(int(2,3,4),16);
Print(v);
[v]=NumberSystem.PositiveNumberToMantissa(2.4,4,16);
Print(v);
[v]=NumberSystem.MantissaToPositiveNumber(int(2,3,-1,1,2,3),16);
Print(v);
//-------------------------------------------------------------------
// result
Advanced Analysis IsCovering BDD binary() List BinaryNumberToString GrayCode binaryioset() ToROBDD ToTruthTable list() logicvardef long() Not NumberSystem PositiveNumberToMantissa RadixFromIndex SAT MaxSAT Sequential ShortestInputsForDistinguishTwoStates ShortestInputsForTransition AutoAssignInputAndStateVariables CreateCompactTable Balanced Full GetNegativeLogicFunction Substitute Zero