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
PermuteLogicFunction IsPositiveUnateFunctionTo IsSymmetricFunctionTo IsZeroFunction AndOr AndXor List StringToBinaryNumber binaryioset bool() ToSOP DigitalSystem Imply Count PositiveNumberToMantissa Print MaxSAT Sequential ShortestInputsForTransition CreateCompactTable To2layerOrAnd ROBDD Full Shannon StateDeviceName GetSubTable ShannonExpansion ShrinkLogicFunction var() Zero