def style_options(self):
'''
Return the StyleOptions for this Conditional.
'''
from proveit import StyleOptions
options = StyleOptions(self)
options.add_option(name='condition_delimiter',
description=("'comma' or 'and'"),
default='comma',
related_methods=('with_comma_delimiter',
'with_conjunction_delimiter'))
return options
def style_options(self):
'''
Returns the StyleOptions object for this Exp.
'''
options = StyleOptions(self)
default_exp_style = ('radical'
if self.exponent == frac(one, two) else 'raised')
options.add_option(name='exponent',
description=("'raised': exponent as a superscript; "
"'radical': using a radical sign"),
default=default_exp_style,
related_methods=('with_radical', 'without_radical'))
return options
def style_options(self):
'''
Returns the StyleOptions object for this Exp.
'''
options = StyleOptions(self)
if (isinstance(self.exponent, Div) and
self.exponent.numerator == one):
options.add_option(
name='exponent',
description=("'raised': exponent as a superscript; "
"'radical': using a radical sign"),
default='radical',
related_methods=('with_radical', 'without_radical'))
return options
def style_options(self):
'''
Return the StyleOptions object for this Gate object.
'''
from proveit.physics.quantum import Z
options = StyleOptions(self)
if self.basis == Z:
# For an Z measurement, we can use an implicit meter
# representation.
options.add_option(
name='representation',
description=("The 'implicit' option formats the Z-measurement "
"as a generic meter."),
default='implicit',
related_methods=())
return options
def style_options(self):
'''
Return the StyleOptions object for this Gate object.
'''
from proveit.physics.quantum import I, X
options = StyleOptions(self)
if self.operation == I:
# For an I gate, it may be displayed as
# 'I' (explicit) or as a wire (implicit).
options.add_option(
name='representation',
description=(
"The 'implicit' option formats the identity operation as "
"a quantum wire versus an 'explicit' gate (box) applying I."
),
default='implicit',
related_methods=())
if self.operation == X:
# For an X gate, it may be displayed as
# 'X' (explicit) or as a target (implicit).
options.add_option(
name='representation',
description=("The 'implicit' option formats the X gate as "
"a target rather than 'X'."),
default='explicit',
related_methods=())
return options
def styleOptions(self):
options = StyleOptions(self)
options.add('division', "'inline': uses '/'; 'fraction': numerator over the denominator")
return options
def styleOptions(self):
options = StyleOptions(self)
options.add('exponent',
"'raised': exponent as a superscript; "
"'radical': using a radical sign")
return options