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 IsBiUnateFunction IsBlankFunction IsPositiveFunction FromBinary BinaryNumberToString bool() Convert ToAndXor ToDualFunction ToROBDD DigitalSystem Equiv LeastSignificantDigit Radixes SAT MaxSAT ShortestInputsForTransition Backwardly ToFeedbackSystem HuffmanMealy ROBDD Canonical DontCare SimpleInner string CreateFromLogicFunctions SemanticEval var() Zero