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
IsCovering IsParityFunction IsPositiveFunction IsUnateFunction AndOr ToAndOr Binary FromBinary BinaryNumberToString binary binaryioset bool() bool ToROBDD Equiv logicvardef NumberSystem MantissaToPositiveDecimal PositiveDecimalToMantissa PositiveIntegerToMantissa object() To2LayerOrAnd MaxSAT Save ToFeedbackSystem ROBDD Full string CreateFromLogicFunctions Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.