# Path: calculus/symbol.py
# class Symbol:
# class StringSymbol(Symbol):
#   def __init__(self, type):
#   def _generate_id(self):
#   def __eq__(self, other):
#   def __ne__(self):
#   def __hash__(self):
#   def __repr__(self):
#   def __init__(self, s, type, infix = None):
#   def __repr__(self):
# 
# Path: calculus/variable.py
# class GeneralizedVariable:
# class Variable(GeneralizedVariable):
# class StringVariable(Variable):
# class ApplySymbolVariable(GeneralizedVariable):
# class ProductVariable(GeneralizedVariable):
#   def simplify(self):
#   def render(self):
#   def applied_variables(self):
#   def relatedVariable(self):
#   def __init__(self):
#   def _generate_id(self):
#   def updateVariables(self):
#   def __eq__(self, other):
#   def __ne__(self, other):
#   def __hash__(self):
#   def applied_variables(self):
#   def __repr__(self):
#   def substituteVariable(self, a, b):
#   def freeVariables(self):
#   def __init__(self, name, infix = None):
#   def relatedVariable(self):
#   def render(self):
#   def name(self):
#   def __repr__(self):
#   def updateVariables(self):
# def renderInfix(productVariable, infixSymbols, infixVariable):
#   def __init__(self, variable, symbol):
#   def __eq__(self, other):
#   def applied_variables(self):
#   def __ne__(self, other):
#   def __repr__(self):
#   def updateVariables(self):
#   def substituteVariable(self, a, b):
#   def freeVariables(self):
#   def render(self):
# def colors_for_symbol(symbol):
#   def __init__(self, symbol_variable_pairs):
#   def applied_variables(self):
#   def __eq__(self, other):
#   def __ne__(self, other):
#   def __repr__(self):
#   def updateVariables(self):
#   def substituteVariable(self, a, b):
#   def freeVariables(self):
#   def render(self):
# def renderSymbolVariablePair(s, v, c0, c1):
# def borderStack(dimension, color, a, b, borderWidth):
# def renderSymbol(s):
# def renderStringSymbol(s):
# def renderWithBackground(s, border_width, color):


from calculus import symbol, variable
# Copyright (C) 2013 Korei Klein <korei.klein1@gmail.com>



leftSymbol = symbol.StringSymbol('left', type = symbol.projection)
rightSymbol = symbol.StringSymbol('right', type = symbol.projection)

relationSymbol = symbol.StringSymbol('=', infix = (leftSymbol, rightSymbol), type = symbol.projection)

# Path: calculus/symbol.py
# class Symbol:
# class StringSymbol(Symbol):
#   def __init__(self, type):
#   def _generate_id(self):
#   def __eq__(self, other):
#   def __ne__(self):
#   def __hash__(self):
#   def __repr__(self):
#   def __init__(self, s, type, infix = None):
#   def __repr__(self):
# 
# Path: calculus/variable.py
# class GeneralizedVariable:
# class Variable(GeneralizedVariable):
# class StringVariable(Variable):
# class ApplySymbolVariable(GeneralizedVariable):
# class ProductVariable(GeneralizedVariable):
#   def simplify(self):
#   def render(self):
#   def applied_variables(self):
#   def relatedVariable(self):
#   def __init__(self):
#   def _generate_id(self):
#   def updateVariables(self):
#   def __eq__(self, other):
#   def __ne__(self, other):
#   def __hash__(self):
#   def applied_variables(self):
#   def __repr__(self):
#   def substituteVariable(self, a, b):
#   def freeVariables(self):
#   def __init__(self, name, infix = None):
#   def relatedVariable(self):
#   def render(self):
#   def name(self):
#   def __repr__(self):
#   def updateVariables(self):
# def renderInfix(productVariable, infixSymbols, infixVariable):
#   def __init__(self, variable, symbol):
#   def __eq__(self, other):
#   def applied_variables(self):
#   def __ne__(self, other):
#   def __repr__(self):
#   def updateVariables(self):
#   def substituteVariable(self, a, b):
#   def freeVariables(self):
#   def render(self):
# def colors_for_symbol(symbol):
#   def __init__(self, symbol_variable_pairs):
#   def applied_variables(self):
#   def __eq__(self, other):
#   def __ne__(self, other):
#   def __repr__(self):
#   def updateVariables(self):
#   def substituteVariable(self, a, b):
#   def freeVariables(self):
#   def render(self):
# def renderSymbolVariablePair(s, v, c0, c1):
# def borderStack(dimension, color, a, b, borderWidth):
# def renderSymbol(s):
# def renderStringSymbol(s):
# def renderWithBackground(s, border_width, color):


# Path: lib/common_symbols.py
from calculus import symbol, variable

# Copyright (C) 2013 Korei Klein <korei.klein1@gmail.com>



leftSymbol = symbol.StringSymbol('left', type = symbol.projection)
rightSymbol = symbol.StringSymbol('right', type = symbol.projection)

relationSymbol = symbol.StringSymbol('=', infix = (leftSymbol, rightSymbol), type = symbol.projection)

domainSymbol = symbol.StringSymbol('\'', type = symbol.projection)