_sine_axiom_selection.html.haml revision ef12070bdf3f2c5462d76e408f68e17d0d926535
8c294c1cd4d721818a59684cf7f2b36123f79163Stephen Gallagher#sine_axiom_selection
8c294c1cd4d721818a59684cf7f2b36123f79163Stephen Gallagher %h4= t('proofs.new.axiom_selection.sine_axiom_selection.headline')
8c294c1cd4d721818a59684cf7f2b36123f79163Stephen Gallagher = f.simple_fields_for((resource.specific_axiom_selection.is_a?(SineAxiomSelection) && resource.specific_axiom_selection.valid? || resource.specific_axiom_selection) || :sine_axiom_selection) do |sine_f|
8c294c1cd4d721818a59684cf7f2b36123f79163Stephen Gallagher = sine_f.input :commonness_threshold, input_html: {value: sine_value(:commonness_threshold, 0)}
c252d148fa8ab50aaaa8bbae7beb4d208025171dNikolai Kondrashov = f.error :proof_sine_axiom_selection_commonness_threshold
9542512d7be40f2000298c86d3d2b728f4f0f65aStephen Gallagher = sine_f.input :depth_limit, input_html: {value: sine_value(:depth_limit, -1)}, hint: t('proofs.new.axiom_selection.sine_axiom_selection.hints.depth_limit_infinity')
9542512d7be40f2000298c86d3d2b728f4f0f65aStephen Gallagher = f.error :proof_sine_axiom_selection_depth_limit
9542512d7be40f2000298c86d3d2b728f4f0f65aStephen Gallagher = sine_f.input :tolerance, input_html: {value: sine_value(:tolerance, 1.0)}
c636315472e4f87313af7be30b7fbcad4b8ca8a4Stephen Gallagher = f.error :proof_sine_axiom_selection_tolerance