Mapytex/pymath/calculus/fraction.py

#!/usr/bin/env python
# encoding: utf-8

from .arithmetic import gcd
from .generic import isNumber, postfix_op
from .operator import op
from .expression import Expression
from .explicable import Explicable
from .render import txt, tex
from copy import copy


__all__ = ['Fraction']


class Fraction(Explicable):
    """Fractions!"""

    def __init__(self, num, denom=1):
        """To initiate a fraction we need a numerator and a denominator

        :param num: the numerator
        :param denom: the denominator

        """
        super(Fraction, self).__init__()
        self._num = num
        if denom == 0:
            raise ZeroDivisionError("Can't create Fraction: division by zero")
        self._denom = denom

        self.isNumber = 1

    def simplify(self):
        """Simplify the fraction

        :returns: steps to simplify the fraction or the fraction if there is nothing to do

        >>> f = Fraction(3, 6)
        >>> f.simplify()
        < Fraction 1 / 2>
        >>> for i in f.simplify().explain():
        ...     print(i)
        \\frac{ 3 }{ 6 }
        \\frac{ 1 \\times 3 }{ 2 \\times 3 }
        \\frac{ 1 }{ 2 }
        >>> f = Fraction(6,9)
        >>> f.simplify()
        < Fraction 2 / 3>
        >>> for i in f.simplify().explain():
        ...     print(i)
        \\frac{ 6 }{ 9 }
        \\frac{ 2 \\times 3 }{ 3 \\times 3 }
        \\frac{ 2 }{ 3 }
        >>> f = Fraction(0,3)
        >>> f.simplify()
        0

        """
        ini_step = [Expression(self.postfix_tokens)]

        if self._num == 0:
            return Expression([0]).simplify()

        elif isinstance(self._num, Fraction) or isinstance(self._denom, Fraction):
            return self._num / self._denom

        elif self._denom < 0:
            n_frac = Fraction(-self._num, -self._denom)
            ans = n_frac.simplify()
            ans.steps = ini_step + ans.steps
            return ans

        gcd_ = gcd(abs(self._num), abs(self._denom))
        if gcd_ == self._denom:
            n_frac = self._num // gcd_
            return Expression([n_frac]).simplify()

        elif gcd_ != 1:
            n_frac = Fraction(self._num // gcd_, self._denom // gcd_)
            ini_step += [Expression([n_frac._num,
                                     gcd_,
                                     op.mul,
                                     n_frac._denom,
                                     gcd_,
                                     op.mul,
                                     op.div])]

            n_frac.steps = ini_step + n_frac.steps
            return n_frac

        else:
            return copy(self)

    @property
    def postfix_tokens(self):
        """Postfix form of the fraction

        >>> f = Fraction(3, 5)
        >>> f.postfix_tokens
        [3, 5, /]

        """
        if self._denom == 1:
            return [self._num]
        else:
            return [self._num, self._denom, op.div]

    def __str__(self):
        return str(Expression(self.postfix_tokens))

    def __repr__(self):
        return "< Fraction {num} / {denom}>".format(
            num=self._num, denom=self._denom)

    def __float__(self):
        return self._num / self._denom

    def convert2fraction(self, other):
        """ Convert a other into a fraction """
        if isinstance(other, Fraction):
            # cool
            number = other
        else:
            number = Fraction(other)

        return number

    def __add__(self, other):
        """ overload +

        >>> f = Fraction(1, 2)
        >>> g = Fraction(2, 3)
        >>> f + g
        < Fraction 7 / 6>
        >>> print("\\n".join([repr(i) for i in (f+g).steps]))
        < <class 'pymath.calculus.expression.Expression'> [1, 2, /, 2, 3, /, +] >
        < <class 'pymath.calculus.expression.Expression'> [1, 3, *, 2, 3, *, /, 2, 2, *, 3, 2, *, /, +] >
        < <class 'pymath.calculus.expression.Expression'> [3, 6, /, 4, 6, /, +] >
        < <class 'pymath.calculus.expression.Expression'> [< Fraction 3 / 6>, < Fraction 4 / 6>, +] >
        < <class 'pymath.calculus.expression.Expression'> [3, 6, /, 4, 6, /, +] >
        < <class 'pymath.calculus.expression.Expression'> [3, 4, +, 6, /] >
        >>> f + 2
        < Fraction 5 / 2>
        >>> print("\\n".join([repr(i) for i in (f+2).steps]))
        < <class 'pymath.calculus.expression.Expression'> [1, 2, /, 2, +] >
        < <class 'pymath.calculus.expression.Expression'> [1, 1, *, 2, 1, *, /, 2, 2, *, 1, 2, *, /, +] >
        < <class 'pymath.calculus.expression.Expression'> [1, 2, /, 4, 2, /, +] >
        < <class 'pymath.calculus.expression.Expression'> [< Fraction 1 / 2>, < Fraction 4 / 2>, +] >
        < <class 'pymath.calculus.expression.Expression'> [1, 2, /, 4, 2, /, +] >
        < <class 'pymath.calculus.expression.Expression'> [1, 4, +, 2, /] >
        >>> f = Fraction(3, 4)
        >>> g = Fraction(5, 4)
        >>> f + g
        2
        >>> print("\\n".join([repr(i) for i in (f+g).steps]))
        < <class 'pymath.calculus.expression.Expression'> [3, 4, /, 5, 4, /, +] >
        < <class 'pymath.calculus.expression.Expression'> [3, 5, +, 4, /] >
        < <class 'pymath.calculus.expression.Expression'> [8, 4, /] >
        >>> f+0
        < Fraction 3 / 4>
        >>> (f+0).steps
        []

        """

        if other == 0:
            return copy(self)

        number = self.convert2fraction(other)

        if self._denom == number._denom:
            com_denom = self._denom
            num1 = self._num
            num2 = number._num

            exp = Expression([num1, num2, op.add, com_denom, op.div])

        else:
            gcd_denom = gcd(self._denom, number._denom)
            coef1 = number._denom // gcd_denom
            coef2 = self._denom // gcd_denom

            exp = Expression([self._num,
                              coef1,
                              op.mul,
                              self._denom,
                              coef1,
                              op.mul,
                              op.div,
                              number._num,
                              coef2,
                              op.mul,
                              number._denom,
                              coef2,
                              op.mul,
                              op.div,
                              op.add])

        ans = exp.simplify()
        ini_step = Expression(self.postfix_tokens +
                              number.postfix_tokens + [op.add])
        ans.steps = [ini_step] + ans.steps
        return ans

    def __radd__(self, other):
        if other == 0:
            return Expression(self.postfix_tokens)

        number = self.convert2fraction(other)

        return number + self

    def __sub__(self, other):
        """ overload -

        >>> f = Fraction(1, 2)
        >>> g = Fraction(2, 3)
        >>> f - g
        < Fraction -1 / 6>
        >>> print("\\n".join([repr(i) for i in (f-g).steps]))
        < <class 'pymath.calculus.expression.Expression'> [1, 2, /, 2, 3, /, -] >
        < <class 'pymath.calculus.expression.Expression'> [1, 3, *, 2, 3, *, /, 2, 2, *, 3, 2, *, /, -] >
        < <class 'pymath.calculus.expression.Expression'> [3, 6, /, 4, 6, /, -] >
        < <class 'pymath.calculus.expression.Expression'> [< Fraction 3 / 6>, < Fraction 4 / 6>, -] >
        < <class 'pymath.calculus.expression.Expression'> [3, 6, /, 4, 6, /, -] >
        < <class 'pymath.calculus.expression.Expression'> [3, 4, -, 6, /] >
        >>> f - 0
        < Fraction 1 / 2>
        >>> (f-0).steps
        []

        """
        if other == 0:
            return copy(self)

        number = self.convert2fraction(other)

        if self._denom == number._denom:
            com_denom = self._denom
            num1 = self._num
            num2 = number._num

            exp = Expression([num1, num2, op.sub, com_denom, op.div])

        else:
            gcd_denom = gcd(self._denom, number._denom)
            coef1 = number._denom // gcd_denom
            coef2 = self._denom // gcd_denom

            exp = Expression([self._num,
                              coef1,
                              op.mul,
                              self._denom,
                              coef1,
                              op.mul,
                              op.div,
                              number._num,
                              coef2,
                              op.mul,
                              number._denom,
                              coef2,
                              op.mul,
                              op.div,
                              op.sub])

        ini_step = Expression(self.postfix_tokens +
                              number.postfix_tokens + [op.sub])
        ans = exp.simplify()
        ans.steps = [ini_step] + ans.steps
        return ans

    def __rsub__(self, other):
        if other == 0:
            return copy(self)

        number = self.convert2fraction(other)

        return number - self

    def __neg__(self):
        """ overload - (as arity 1 operator)

        >>> f = Fraction(1, 2)
        >>> -f
        < Fraction -1 / 2>
        >>> (-f).steps
        []
        >>> f = Fraction(1, -2)
        >>> f
        < Fraction 1 / -2>
        >>> -f
        < Fraction 1 / 2>
        >>> (-f).steps
        [< <class 'pymath.calculus.expression.Expression'> [-1, -2, /] >]

        """
        f = Fraction(-self._num, self._denom)
        ans = f.simplify()

        return ans

    def __mul__(self, other):
        """ overload *

        >>> f = Fraction(1, 2)
        >>> g = Fraction(2, 3)
        >>> f*g
        < Fraction 1 / 3>
        >>> print("\\n".join([repr(i) for i in (f*g).steps]))
        < <class 'pymath.calculus.expression.Expression'> [< Fraction 1 / 2>, < Fraction 2 / 3>, *] >
        < <class 'pymath.calculus.expression.Expression'> [1, 2, *, 2, 3, *, /] >
        < <class 'pymath.calculus.expression.Expression'> [1, 3, /] >
        >>> f * 0
        0
        >>> (f*0).steps
        [< <class 'pymath.calculus.expression.Expression'> [< Fraction 1 / 2>, 0, *] >]
        >>> f*1
        < Fraction 1 / 2>
        >>> (f*1).steps
        [< <class 'pymath.calculus.expression.Expression'> [< Fraction 1 / 2>, 1, *] >]
        >>> f*4
        2
        >>> print("\\n".join([repr(i) for i in (f*4).steps]))
        < <class 'pymath.calculus.expression.Expression'> [< Fraction 1 / 2>, 4, *] >
        < <class 'pymath.calculus.expression.Expression'> [1, 2, *, 2, *, 1, 2, *, /] >
        < <class 'pymath.calculus.expression.Expression'> [1, 2, *, 1, /] >
        < <class 'pymath.calculus.expression.Expression'> [2, 1, /] >

        """
        steps = [Expression([self, other, op.mul])]

        if other == 0:
            exp = Expression([0])
        elif other == 1:
            exp =  copy(self)

        elif isinstance(other, int):
            gcd1 = gcd(other, self._denom)
            if gcd1 != 1:
                num_s = [self._num] + \
                    [int(other / gcd1), op.mul] * (int(other / gcd1) != 1) + \
                    [gcd1, op.mul]
                denom_s = [int(self._denom / gcd1), gcd1, op.mul]
                steps.append(Expression(num_s + denom_s + [op.div]))

                num = [self._num] + [int(other / gcd1), op.mul]* (int(other / gcd1) != 1)
                denom = [int(self._denom / gcd1)]
            else:
                num = [self._num, other, op.mul]
                denom = [self._denom]

            exp = Expression(num + denom + [op.div])

        else:
            number = self.convert2fraction(other)

            gcd1 = gcd(self._num, number._denom)
            if gcd1 != 1:
                num1_s = [gcd1] + [int(self._num / gcd1), op.mul] * (int(self._num / gcd1) != 1)
                denom2_s = [gcd1] + [int(number._denom / gcd1), op.mul] * (int(number._denom / gcd1) != 1)

                num1 = [int(self._num / gcd1)] * (int(self._num / gcd1) != 1)
                denom2 = [int(number._denom / gcd1)] * (int(self._denom / gcd1) != 1)
            else:
                num1_s = [self._num]
                denom2_s = [number._denom]

                num1 = [self._num]
                denom2 = [number._denom]

            gcd2 = gcd(self._denom, number._num)
            if gcd2 != 1:
                num2_s = [gcd2] + [int(number._num / gcd2), op.mul] * (int(number._num / gcd2) != 1)
                denom1_s = [gcd2] + [int(self._denom / gcd2), op.mul] * (int(self._denom / gcd2) != 1)

                num2 = [int(number._num / gcd2)] * (int(number._num / gcd2) != 1)
                denom1 = [int(self._denom / gcd2)] * (int(number._denom / gcd2) != 1)
            else:
                num2_s = [number._num]
                denom1_s = [self._denom]

                num2 = [number._num]
                denom1 = [self._denom]

            steps.append(Expression(num1_s + num2_s + [op.mul] + \
                    denom1_s + denom2_s + [op.mul, op.div]))

            exp = Expression(postfix_op(num1 + num2, op.mul, 1) +
                             postfix_op(denom1 + denom2, op.mul, 1) +
                             [op.div])

        ans = exp.simplify()
        ans.steps = steps + ans.steps
        return ans

    def __rmul__(self, other):
        return self * other

    def __truediv__(self, other):
        """ overload /

        >>> f = Fraction(1,2)
        >>> g = Fraction(3,4)
        >>> f / 0
        Traceback (most recent call last):
        ...
        ZeroDivisionError: division by zero
        >>> f / 1
        < Fraction 1 / 2>
        >>> (f/1).steps
        []
        >>> f / g
        < Fraction 2 / 3>

        """
        if other == 0:
            raise ZeroDivisionError("division by zero")
        elif other == 1:
            return copy(self)

        number = self.convert2fraction(other)

        ini_step = Expression(self.postfix_tokens +
                              number.postfix_tokens + [op.div])

        number = Fraction(number._denom, number._num)
        ans = self * number

        ans.steps = [ini_step] + ans.steps
        return ans

    def __rtruediv__(self, other):
        number = self.convert2fraction(other)

        return number / self

    def __pow__(self, power):
        """ overload **

        >>> f = Fraction(3, 4)
        >>> f**0
        1
        >>> (f**0).steps
        [< <class 'pymath.calculus.expression.Expression'> [< Fraction 3 / 4>, 0, ^] >]
        >>> f**1
        < Fraction 3 / 4>
        >>> (f**1).steps
        [< <class 'pymath.calculus.expression.Expression'> [< Fraction 3 / 4>, 1, ^] >]
        >>> f**3
        < Fraction 27 / 64>
        >>> print("\\n".join([repr(i) for i in (f**3).steps]))
        < <class 'pymath.calculus.expression.Expression'> [< Fraction 3 / 4>, 3, ^] >
        < <class 'pymath.calculus.expression.Expression'> [3, 3, ^, 4, 3, ^, /] >
        < <class 'pymath.calculus.expression.Expression'> [27, 64, /] >
        >>> f = Fraction(6, 4)
        >>> f**3
        < Fraction 27 / 8>
        >>> print("\\n".join([repr(i) for i in (f**3).steps]))
        < <class 'pymath.calculus.expression.Expression'> [< Fraction 6 / 4>, 3, ^] >
        < <class 'pymath.calculus.expression.Expression'> [6, 3, ^, 4, 3, ^, /] >
        < <class 'pymath.calculus.expression.Expression'> [216, 64, /] >
        < <class 'pymath.calculus.expression.Expression'> [216, 64, /] >
        < <class 'pymath.calculus.expression.Expression'> [27, 8, *, 8, 8, *, /] >

        """
        if not isinstance(power, int):
            raise ValueError(
                "Can't raise fraction to power {}".format(
                    str(power)))

        ini_step = Expression([self, power, op.pw])
        if power == 0:
            exp = Expression([1])
        elif power == 1:
            exp = copy(self)
        else:
            exp = Expression(
                [self._num, power, op.pw, self._denom, power, op.pw, op.div])

        ans = exp.simplify()
        ans.steps = [ini_step] + ans.steps
        return ans

    def __xor__(self, power):
        """ overload ^

        Work like **

        >>> f = Fraction(3, 4)
        >>> f^0
        1
        >>> f^1
        < Fraction 3 / 4>
        >>> f^3
        < Fraction 27 / 64>
        """

        return self.__pow__(power)

    def __abs__(self):
        return Fraction(abs(self._num), abs(self._denom))

    def __eq__(self, other):
        """ == """
        if isNumber(other):
            number = self.convert2fraction(other)

            return self._num * number._denom == self._denom * number._num
        else:
            return 0

    def __lt__(self, other):
        """ < """
        return float(self) < float(other)

    def __le__(self, other):
        """ <= """
        return float(self) <= float(other)

    def __gt__(self, other):
        """ > """
        return float(self) > float(other)

    def __ge__(self, other):
        """ >= """
        return float(self) >= float(other)

    def __copy__(self):
        """ Copying the fraction removing steps where it is from """
        return Fraction(self._num, self._denom)


if __name__ == '__main__':
    f = Fraction(1, 12)
    g = Fraction(6, 12)
    for i in g.simplify().explain():
        print("g = ", i)
    h = Fraction(1, -5)
    t = Fraction(10, 3)
    print("---------")
    for i in (0 + h).explain():
        print('0 + h = ', i)
    # print("---------")
    #print(str(f) , "+", str(t))
    # for i in (f + t):
    #    print(i)
    # print("---------")
    #print(str(f) , "+", str(g))
    # for i in (f + g):
    #    print(i)
    # print("---------")
    #print(str(f) , "-", str(g))
    # for i in (f - g):
    #    print(i)
    # print("---------")
    #print(str(f) , "*", str(g))
    # for i in (f * g):
    #    print(i)
    # print("---------")
    #print(str(h) , "+", str(t))
    # for i in (h + t):
    #    print(i)
    # print("---------")
    #print(str(h) , "-", str(t))
    # for i in (h - t):
    #    print(i)
    # print("---------")
    #print(str(h) , "*", str(t))
    # for i in (h * t):
    #    print(i)
    # print("---------")
    #print("-", str(h) )
    # for i in (-h):
    #    print(i)
    # print("---------")
    #print(str(h) , "/", str(t))
    # for i in (h / t):
    #    print(i)
    # print("---------")
    #print(str(h) , "+", str(0))
    # for i in (h + 0):
    #    print(i)
    # print("---------")
    #print(str(h) , "*", str(1))
    # for i in (h * 1):
    #    print(i)
    # print("---------")
    #print(str(h) , "*", str(0))
    # for i in (h * 0):
    #    print(i)
    # print("---------")
    #print(str(h) , "*", str(4))
    # for i in (h * 4):
    #    print(i)

    # print(f.simplify())

    import doctest
    doctest.testmod()

# -----------------------------
# Reglages pour 'vim'
# vim:set autoindent expandtab tabstop=4 shiftwidth=4:
# cursor: 16 del