# Path: openfermioncirq/variational/letter_with_subscripts.py
# class LetterWithSubscripts(sympy.Symbol):
# 
#     def __new__(cls, letter: str, *subscripts: Union[str, int]):
#         return super().__new__(cls, _name(letter, *subscripts))
# 
#     def __init__(self,
#                  letter: str,
#                  *subscripts: Union[str, int]) -> None:
#         self.letter = letter
#         self.subscripts = subscripts
#         super().__init__()
# 
#     def __eq__(self, other):
#         if not isinstance(other, sympy.Symbol):
#             return NotImplemented
#         return str(self) == str(other)
# 
#     def __ne__(self, other):
#         return not self == other
# 
#     def __hash__(self):
#         return hash(sympy.Symbol(str(self)))
# 
#     def __repr__(self):
#         return (
#             'ofc.variational.letter_with_subscripts.'
#             'LetterWithSubscripts({!r}, {})'.format(
#                 self.letter,
#                 ', '.join(str(e) for e in self.subscripts)))
# 
#     def _subs(self, old, new, **hints):
#         # HACK: work around sympy not recognizing child classes as symbols.
#         if old == self:
#             return new
#         return super()._subs(old, new, **hints)


import sympy
import cirq
import openfermioncirq as ofc
from openfermioncirq.variational.letter_with_subscripts import (
        LetterWithSubscripts)
#
#       http://www.apache.org/licenses/LICENSE-2.0
#
#   Unless required by applicable law or agreed to in writing, software
#   distributed under the License is distributed on an "AS IS" BASIS,
#   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
#   See the License for the specific language governing permissions and
#   limitations under the License.





def test_letter_with_subscripts_init():
    symbol = LetterWithSubscripts('T', 0, 1)
    assert symbol.letter == 'T'
    assert symbol.subscripts == (0, 1)
    assert str(symbol) == 'T_0_1'


def test_equality():
    eq = cirq.testing.EqualsTester()
    eq.add_equality_group(LetterWithSubscripts('T', 0, 1),
                          LetterWithSubscripts('T', 0, 1),
                          sympy.Symbol('T_0_1'))
    eq.add_equality_group(LetterWithSubscripts('S', 0))
    eq.add_equality_group(LetterWithSubscripts('T', 0, 2))


def test_substitute_works():

# Path: openfermioncirq/variational/letter_with_subscripts.py
# class LetterWithSubscripts(sympy.Symbol):
# 
#     def __new__(cls, letter: str, *subscripts: Union[str, int]):
#         return super().__new__(cls, _name(letter, *subscripts))
# 
#     def __init__(self,
#                  letter: str,
#                  *subscripts: Union[str, int]) -> None:
#         self.letter = letter
#         self.subscripts = subscripts
#         super().__init__()
# 
#     def __eq__(self, other):
#         if not isinstance(other, sympy.Symbol):
#             return NotImplemented
#         return str(self) == str(other)
# 
#     def __ne__(self, other):
#         return not self == other
# 
#     def __hash__(self):
#         return hash(sympy.Symbol(str(self)))
# 
#     def __repr__(self):
#         return (
#             'ofc.variational.letter_with_subscripts.'
#             'LetterWithSubscripts({!r}, {})'.format(
#                 self.letter,
#                 ', '.join(str(e) for e in self.subscripts)))
# 
#     def _subs(self, old, new, **hints):
#         # HACK: work around sympy not recognizing child classes as symbols.
#         if old == self:
#             return new
#         return super()._subs(old, new, **hints)


# Path: openfermioncirq/variational/letter_with_subscripts_test.py
import sympy
import cirq
import openfermioncirq as ofc
from openfermioncirq.variational.letter_with_subscripts import (
        LetterWithSubscripts)

#
#       http://www.apache.org/licenses/LICENSE-2.0
#
#   Unless required by applicable law or agreed to in writing, software
#   distributed under the License is distributed on an "AS IS" BASIS,
#   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
#   See the License for the specific language governing permissions and
#   limitations under the License.





def test_letter_with_subscripts_init():
    symbol = LetterWithSubscripts('T', 0, 1)
    assert symbol.letter == 'T'
    assert symbol.subscripts == (0, 1)
    assert str(symbol) == 'T_0_1'


def test_equality():
    eq = cirq.testing.EqualsTester()
    eq.add_equality_group(LetterWithSubscripts('T', 0, 1),
                          LetterWithSubscripts('T', 0, 1),
                          sympy.Symbol('T_0_1'))
    eq.add_equality_group(LetterWithSubscripts('S', 0))
    eq.add_equality_group(LetterWithSubscripts('T', 0, 2))


def test_substitute_works():

    assert LetterWithSubscripts('T', 1, 2).subs({'T_1_2': 5}) == 5