NumberSystem.MantissaToPositiveDecimal
Back to table
/*
Number-System
NumberSystem.MantissaToPositiveDecimal
[real N]=NumberSystem.MantissaToPositiveDecimal(int() mantissa, int systemBase);
Compute the real number 0<=N<1 from the mantissa of a systemBase-based number system.
*/
//-------------------------------------------------------------------
// 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
MatchLogicFunction IsBlankFunction IsLinearFunction IsMonotonicFunction IsParityFunction IsPositiveFunction IsUnateFunctionTo FromBinary BinaryNumberToString OneComplement binaryioset() binaryioset ToPOS list() Count Load MantissaToPositiveDecimal OrAnd MaxSAT Save AutoAssignInputAndStateVariables Forwardly StateTransitionBasedly CreateCompactTable CreateCompactTableWithFullSimplification DontCare string() GetPositiveLogicFunction var() Zero