def _formatted(self, format_type, **kwargs):
'''
Override Operation._formatted when formatting a conjunction
of relations as a total ordering.
'''
if self.get_style('as_total_ordering', 'False') == 'True':
self._check_total_ordering_applicability()
relations = self.operands.entries
operands = [rel.lhs for rel in relations] + [relations[-1].rhs]
formatted_operators = [
rel.operator.formatted(format_type) if rel.get_style(
'direction', 'normal') == 'normal' else
rel.__class__.reversed_operator_str(format_type)
for rel in relations
]
return Operation._formattedOperation(
format_type,
formatted_operators,
operands,
wrap_positions=self.wrap_positions(),
justification=self.get_style('justification'),
**kwargs)
else:
# Just use the default Operation._formatted method.
return Operation._formatted(self, format_type, **kwargs)
def formatted(self, formatType, fence=False):
print("Entering Target.formatted().") # for testing; delete later
formattedGateOperation = self.target_gate.formatted(formatType,
fence=False)
if formatType == 'latex':
return r'\gate{' + formattedGateOperation + r'}'
else:
return Operation._formatted(self, formatType, fence)
def formatted(self, formatType, fence=False, subFence=True):
# Temporary hack to get quantum bra and ket products to display properly.
# This should eventually be done differently because we shouldn't need to
# know anything about the quantum application here.
from proveit.physics.quantum import Bra, Ket, RegisterBra, RegisterKet
if len(self.operands) == 2 and (isinstance(self.operands[0], Bra) or isinstance(self.operands[0], RegisterBra)) and (isinstance(self.operands[1], Ket) or isinstance(self.operands[1], RegisterKet)):
return self.operands[0].formatted(formatType) + self.operands[1].formatted(formatType, no_lvert=True)
# return Operation.formatted(self, formatType, fence, subFence)
return Operation._formatted(self, formatType=formatType, fence=fence, subFence=subFence)
def formatted(self, formatType, **kwargs):
print("Entering Gate.formatted.") # for testing; delete later
print(" formatType = {}".format(
formatType)) # for testing; delete later
formattedGateOperation = (self.gate_operation.formatted(formatType,
fence=False))
print(" formattedGateOperation = {}".format(
formattedGateOperation)) # for testing; delete later
if formatType == 'latex':
print(" inside if formatType=latex block"
) # for testing; delete later
return r'\gate{' + formattedGateOperation + r'}'
else:
return Operation._formatted(self, formatType)
def formatted(self, formatType, fence=False):
formattedState = self.state.formatted(formatType, fence=False)
if formatType == 'latex':
return r'\rstick{' + formattedState + r'} \qw'
else:
return Operation._formatted(self, formatType, fence)
def formatted(self, format_type, fence=False):
formatted_state = self.state.formatted(format_type, fence=False)
if format_type == LATEX:
return r'\rstick{' + formatted_state + r'} \qw'
else:
return Operation._formatted(self, format_type, fence)
