Audit.lean

1 module
2 public import ResiduePackets
3 public import Triangular
4 public import EGFCoordinates
5 public import FilteredReconstruction
6 public import CongruentialEuler
7 public import ExponentialSection
8 public import StandardWindow
9 public import NormalizationBoundary
10 public import OddPowerSeries
11 public import EulerCoefficients
12 public import ZigzagCoefficients
13 public import OddEulerReconstruction
14 public import OddEulerExamples
15 public import DyadicIntegrality
16 public import DyadicSeries
17 public import DyadicReconstruction
18 public import DyadicExamples
19 public import FiniteMahler
20 public import PadicDifferenceBounds
21 public import UnitModeDifferences
22 public import MahlerExamples
23 public import UnitTriangular
24 public import WindowIndependence
25 public import FiniteUnits
26 public import DyadicUnits
27 public import UnitRefinement
28 public import CRTPackets
29 public import FiniteArithmeticExamples
30 public import CompanionPackets
31 public import FibonacciPackets
32 public import RecurrenceExamples
33 public import HurwitzConvolution
34 public import HurwitzInverse
35 public import StandardWindowPeriod
36 public import DifferenceFiltration
37 public import GlobalEulerBoundary
38 public import DworkCriterion
39 public import PeriodExamples
40 public import DworkAlgebra
41 public import DworkClosure
42 public import HurwitzDworkClosure
43 public import ResidueZeroDwork
44 public import DifferenceStepMultiples
45 public import EulerDefect
46 public import StandardWindowDwork
47 public import StandardWindowPrecision
48 public import DworkWindowExamples
49 public import CyclotomicFiltration
50 public import PrimeBlockPolynomial
51 public import CyclicAmiceCoefficients
52 public import BinomialLogSeries
53 public import SectionLogBridge
54 public import WeightedAmice
55 public import WeightedAmiceDifferential
56 public import SingularNormalizedSection
57 public import SingularRatioAmice
58 public import SingularAmiceExamples
59 public import WeightedAmiceRing
60 public import FrobeniusSquare
61 public import ThetaWeighted
62 public import WeightedDworkTransfer
63 public import SeriesDifferenceBridge
64 public import RatioSeriesSupport
65 public import EulerSeriesInverse
66 public import RiccatiFlatPropagation
67 public import RatioRiccati
68 public import AllRatiosDwork
69 public import AllResidueEuler
70 public import Theorem75
71 public import AllResidueExamples
72 public import PeriodFromDifferences
73 public import CubicDworkAlgebra
74 public import CubicDworkClosure
75 public import KummerSequences
76 public import DyadicFourKernel
77 public import DyadicFourDwork
78 public import DyadicFourCongruences
79 public import NishibuchiCompletion
80 public import ConjectureExamples
81 
82 #print axioms KomorebiPaperIX.AllRatiosDwork.all_ratios_flat
83 #print axioms KomorebiPaperIX.AllRatiosDwork.packet_window_flat
84 #print axioms KomorebiPaperIX.AllRatiosDwork.ratio_window_flat
85 #print axioms KomorebiPaperIX.AllRatiosDwork.source_window_flat
86 #print axioms KomorebiPaperIX.AllResidueEuler.all_residue_flat
87 #print axioms KomorebiPaperIX.AllResidueEuler.decode_unnormalized
88 #print axioms KomorebiPaperIX.AllResidueEuler.global_normalized_precision
89 #print axioms KomorebiPaperIX.AllResidueEuler.global_unnormalized_bound
90 #print axioms KomorebiPaperIX.AllResidueEuler.global_unnormalized_order
91 #print axioms KomorebiPaperIX.AllResidueEuler.global_unnormalized_precision
92 #print axioms KomorebiPaperIX.AllResidueEuler.unnormalizedLift
93 #print axioms KomorebiPaperIX.AllResidueEuler.unnormalizedLift_coe
94 #print axioms KomorebiPaperIX.AllResidueEuler.unnormalizedSeries
95 #print axioms KomorebiPaperIX.AllResidueEuler.unnormalized_integral
96 #print axioms KomorebiPaperIX.AllResidueEuler.unnormalized_successor
97 #print axioms KomorebiPaperIX.AllResidueEuler.unnormalized_support
98 #print axioms KomorebiPaperIX.AllResidueExamples.no_loss_still_false
99 #print axioms KomorebiPaperIX.AllResidueExamples.singular_second_difference
100 #print axioms KomorebiPaperIX.AllResidueExamples.singular_second_valuation
101 #print axioms KomorebiPaperIX.AllResidueExamples.singular_third
102 #print axioms KomorebiPaperIX.AllResidueExamples.singular_unnormalized_second
103 #print axioms KomorebiPaperIX.AllResidueExamples.upper_regular_coefficients
104 #print axioms KomorebiPaperIX.AllResidueExamples.upper_regular_global_bound
105 #print axioms KomorebiPaperIX.AllResidueExamples.upper_regular_unnormalized_second
106 #print axioms KomorebiPaperIX.BinomialLogSeries.coeff_logPullback
107 #print axioms KomorebiPaperIX.BinomialLogSeries.expAt
108 #print axioms KomorebiPaperIX.BinomialLogSeries.expAt_derivative
109 #print axioms KomorebiPaperIX.BinomialLogSeries.factorial_coeff_logPullback
110 #print axioms KomorebiPaperIX.BinomialLogSeries.fallingAt_succ
111 #print axioms KomorebiPaperIX.BinomialLogSeries.logPullback
112 #print axioms KomorebiPaperIX.BinomialLogSeries.logPullback_equation
113 #print axioms KomorebiPaperIX.BinomialLogSeries.logPullback_recurrence
114 #print axioms KomorebiPaperIX.BinomialLogSeries.logPullback_zero
115 #print axioms KomorebiPaperIX.CRTPackets.addressEquiv
116 #print axioms KomorebiPaperIX.CRTPackets.address_bijective
117 #print axioms KomorebiPaperIX.CRTPackets.address_components
118 #print axioms KomorebiPaperIX.CRTPackets.packet_factorization
119 #print axioms KomorebiPaperIX.CRTPackets.residue_equivalence
120 #print axioms KomorebiPaperIX.CRTPackets.series_packet_factorization
121 #print axioms KomorebiPaperIX.Companion.charpoly_coeff_dimension
122 #print axioms KomorebiPaperIX.Companion.charpoly_sum_powers
123 #print axioms KomorebiPaperIX.Companion.companion_jump
124 #print axioms KomorebiPaperIX.Companion.orbit
125 #print axioms KomorebiPaperIX.Companion.orbit_of_recurrence
126 #print axioms KomorebiPaperIX.Companion.orbit_succ
127 #print axioms KomorebiPaperIX.Companion.orbit_zero
128 #print axioms KomorebiPaperIX.Companion.packet
129 #print axioms KomorebiPaperIX.Companion.packet_advance
130 #print axioms KomorebiPaperIX.Companion.packet_as_jump_orbit
131 #print axioms KomorebiPaperIX.Companion.packet_charpoly_annihilation
132 #print axioms KomorebiPaperIX.Companion.packet_charpoly_recurrence
133 #print axioms KomorebiPaperIX.Companion.packet_coordinate_recurrence
134 #print axioms KomorebiPaperIX.Companion.packet_observable_recurrence
135 #print axioms KomorebiPaperIX.Companion.packet_refinement
136 #print axioms KomorebiPaperIX.Companion.packet_step
137 #print axioms KomorebiPaperIX.Companion.packet_zero_step
138 #print axioms KomorebiPaperIX.Companion.source_charpoly_recurrence
139 #print axioms KomorebiPaperIX.Companion.source_companion_jump
140 #print axioms KomorebiPaperIX.Congruential.clearing
141 #print axioms KomorebiPaperIX.Congruential.clearing_equals_generic
142 #print axioms KomorebiPaperIX.Congruential.clearing_product
143 #print axioms KomorebiPaperIX.Congruential.coeff
144 #print axioms KomorebiPaperIX.Congruential.coeff_zero
145 #print axioms KomorebiPaperIX.Congruential.coefficient_recurrence
146 #print axioms KomorebiPaperIX.Congruential.coefficient_step
147 #print axioms KomorebiPaperIX.Congruential.coefficient_unique
148 #print axioms KomorebiPaperIX.Congruential.diagonal_ne_zero
149 #print axioms KomorebiPaperIX.Congruential.diagonal_positive
150 #print axioms KomorebiPaperIX.Congruential.factorial_coefficient_identity
151 #print axioms KomorebiPaperIX.Congruential.kernel_constant_one
152 #print axioms KomorebiPaperIX.Congruential.packetSeries
153 #print axioms KomorebiPaperIX.Congruential.packet_is_actual_inverse
154 #print axioms KomorebiPaperIX.Congruential.packet_series_coeff
155 #print axioms KomorebiPaperIX.Congruential.packet_times_kernel
156 #print axioms KomorebiPaperIX.Congruential.rhs
157 #print axioms KomorebiPaperIX.Congruential.row
158 #print axioms KomorebiPaperIX.Congruential.sectionKernel
159 #print axioms KomorebiPaperIX.Congruential.triangular_inverse
160 #print axioms KomorebiPaperIX.Congruential.universal_denominator_clearing
161 #print axioms KomorebiPaperIX.Congruential.unnormalized
162 #print axioms KomorebiPaperIX.Congruential.unnormalized_zero
163 #print axioms KomorebiPaperIX.ConjectureExamples.dyadic_all_residues
164 #print axioms KomorebiPaperIX.ConjectureExamples.dyadic_modulus_two
165 #print axioms KomorebiPaperIX.ConjectureExamples.dyadic_nonzero_address_error
166 #print axioms KomorebiPaperIX.ConjectureExamples.dyadic_nonzero_address_valuation
167 #print axioms KomorebiPaperIX.ConjectureExamples.four_first_coefficients
168 #print axioms KomorebiPaperIX.ConjectureExamples.four_first_unnormalized
169 #print axioms KomorebiPaperIX.ConjectureExamples.odd_singular_address
170 #print axioms KomorebiPaperIX.CubicDworkAlgebra.B
171 #print axioms KomorebiPaperIX.CubicDworkAlgebra.B_mul
172 #print axioms KomorebiPaperIX.CubicDworkClosure.B_deriv
173 #print axioms KomorebiPaperIX.CubicDworkClosure.B_one
174 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded
175 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_add
176 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_deriv
177 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_inverse
178 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_middle
179 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_mono
180 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_mul
181 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_nat_mul
182 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_neg
183 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_sub
184 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_succ
185 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_sum
186 #print axioms KomorebiPaperIX.CubicDworkClosure.bounded_zero
187 #print axioms KomorebiPaperIX.CubicDworkClosure.deriv_add
188 #print axioms KomorebiPaperIX.CubicDworkClosure.deriv_one_eq_zero
189 #print axioms KomorebiPaperIX.CubicDworkClosure.flat
190 #print axioms KomorebiPaperIX.CubicDworkClosure.flat_inverse
191 #print axioms KomorebiPaperIX.CubicDworkClosure.flat_mul
192 #print axioms KomorebiPaperIX.CubicDworkClosure.inverse_defect
193 #print axioms KomorebiPaperIX.CubicDworkClosure.iterate_B_deriv
194 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.CyclicRing
195 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.coeff_nat_mul
196 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.coeff_nat_pow_mul
197 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.coefficient
198 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.coefficient_weighted_integral
199 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.generator
200 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.generator_pow
201 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.generator_relation
202 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.normalizer
203 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.normalizer_integral
204 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.normalizer_nonzero
205 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.normalizer_valuation
206 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.numerator
207 #print axioms KomorebiPaperIX.CyclicAmiceCoefficients.numerator_divisibility
208 #print axioms KomorebiPaperIX.CyclotomicFiltration.augmentation_mem
209 #print axioms KomorebiPaperIX.CyclotomicFiltration.augmentation_pow_mem
210 #print axioms KomorebiPaperIX.CyclotomicFiltration.factorial_power_bound
211 #print axioms KomorebiPaperIX.CyclotomicFiltration.prime_mem
212 #print axioms KomorebiPaperIX.CyclotomicFiltration.torsionIdeal
213 #print axioms KomorebiPaperIX.CyclotomicFiltration.torsion_ideal_factorial_bound
214 #print axioms KomorebiPaperIX.CyclotomicFiltration.torsion_ideal_pow
215 #print axioms KomorebiPaperIX.DifferenceFiltration.difference_map
216 #print axioms KomorebiPaperIX.DifferenceFiltration.saturated_bound_iff
217 #print axioms KomorebiPaperIX.DifferenceFiltration.saturated_bound_of_triangular
218 #print axioms KomorebiPaperIX.DifferenceFiltration.tail_period_higher_difference
219 #print axioms KomorebiPaperIX.DworkAlgebra.B
220 #print axioms KomorebiPaperIX.DworkAlgebra.B_mul
221 #print axioms KomorebiPaperIX.DworkAlgebra.deriv
222 #print axioms KomorebiPaperIX.DworkAlgebra.deriv_leibniz
223 #print axioms KomorebiPaperIX.DworkAlgebra.deriv_one
224 #print axioms KomorebiPaperIX.DworkAlgebra.deriv_succ
225 #print axioms KomorebiPaperIX.DworkAlgebra.deriv_succ_right
226 #print axioms KomorebiPaperIX.DworkAlgebra.deriv_zero
227 #print axioms KomorebiPaperIX.DworkAlgebra.middle
228 #print axioms KomorebiPaperIX.DworkAlgebra.prime_power_leibniz
229 #print axioms KomorebiPaperIX.DworkClosure.B_deriv
230 #print axioms KomorebiPaperIX.DworkClosure.B_one
231 #print axioms KomorebiPaperIX.DworkClosure.bounded
232 #print axioms KomorebiPaperIX.DworkClosure.bounded_add
233 #print axioms KomorebiPaperIX.DworkClosure.bounded_deriv
234 #print axioms KomorebiPaperIX.DworkClosure.bounded_inverse
235 #print axioms KomorebiPaperIX.DworkClosure.bounded_middle
236 #print axioms KomorebiPaperIX.DworkClosure.bounded_mono
237 #print axioms KomorebiPaperIX.DworkClosure.bounded_mul
238 #print axioms KomorebiPaperIX.DworkClosure.bounded_nat_mul
239 #print axioms KomorebiPaperIX.DworkClosure.bounded_neg
240 #print axioms KomorebiPaperIX.DworkClosure.bounded_sub
241 #print axioms KomorebiPaperIX.DworkClosure.bounded_succ
242 #print axioms KomorebiPaperIX.DworkClosure.bounded_sum
243 #print axioms KomorebiPaperIX.DworkClosure.bounded_zero
244 #print axioms KomorebiPaperIX.DworkClosure.deriv_add
245 #print axioms KomorebiPaperIX.DworkClosure.deriv_one_eq_zero
246 #print axioms KomorebiPaperIX.DworkClosure.flat
247 #print axioms KomorebiPaperIX.DworkClosure.flat_inverse
248 #print axioms KomorebiPaperIX.DworkClosure.flat_mul
249 #print axioms KomorebiPaperIX.DworkClosure.inverse_defect
250 #print axioms KomorebiPaperIX.DworkClosure.iterate_B_deriv
251 #print axioms KomorebiPaperIX.DworkCriterion.defect
252 #print axioms KomorebiPaperIX.DworkCriterion.defectIter
253 #print axioms KomorebiPaperIX.DworkCriterion.defectIter_succ
254 #print axioms KomorebiPaperIX.DworkCriterion.defectIter_zero
255 #print axioms KomorebiPaperIX.DworkCriterion.defect_is_shifted_difference
256 #print axioms KomorebiPaperIX.DworkCriterion.defect_packet_extraction
257 #print axioms KomorebiPaperIX.DworkCriterion.flat
258 #print axioms KomorebiPaperIX.DworkCriterion.packed
259 #print axioms KomorebiPaperIX.DworkCriterion.packed_multiple
260 #print axioms KomorebiPaperIX.DworkCriterion.packet_difference
261 #print axioms KomorebiPaperIX.DworkCriterion.saturated_bound_of_flat
262 #print axioms KomorebiPaperIX.DworkWindowExamples.defect_cubic_constant
263 #print axioms KomorebiPaperIX.DworkWindowExamples.derivation_rhs_constant
264 #print axioms KomorebiPaperIX.DworkWindowExamples.modulus_three_all_addresses
265 #print axioms KomorebiPaperIX.DworkWindowExamples.normalized_defect_not_derivation
266 #print axioms KomorebiPaperIX.DworkWindowExamples.window_p3_j2_coefficients
267 #print axioms KomorebiPaperIX.DworkWindowExamples.window_second_difference
268 #print axioms KomorebiPaperIX.DworkWindowExamples.window_second_difference_bound
269 #print axioms KomorebiPaperIX.DworkWindowExamples.window_second_difference_valuation
270 #print axioms KomorebiPaperIX.Dyadic.beta
271 #print axioms KomorebiPaperIX.Dyadic.betaPadic
272 #print axioms KomorebiPaperIX.Dyadic.betaPadic_coe
273 #print axioms KomorebiPaperIX.Dyadic.beta_integral
274 #print axioms KomorebiPaperIX.Dyadic.beta_recurrence
275 #print axioms KomorebiPaperIX.Dyadic.beta_zero
276 #print axioms KomorebiPaperIX.Dyadic.integralRationals
277 #print axioms KomorebiPaperIX.Dyadic.integral_iff
278 #print axioms KomorebiPaperIX.Dyadic.integral_iff_completed_norm
279 #print axioms KomorebiPaperIX.Dyadic.integral_of_valuation
280 #print axioms KomorebiPaperIX.Dyadic.inverse_coefficients_in_subring
281 #print axioms KomorebiPaperIX.Dyadic.kernel
282 #print axioms KomorebiPaperIX.Dyadic.kernelCoeff
283 #print axioms KomorebiPaperIX.Dyadic.kernel_coefficient_integral
284 #print axioms KomorebiPaperIX.Dyadic.kernel_coefficient_valuation
285 #print axioms KomorebiPaperIX.Dyadic.kernel_constant
286 #print axioms KomorebiPaperIX.Dyadic.sourceEven
287 #print axioms KomorebiPaperIX.Dyadic.sourcePadic
288 #print axioms KomorebiPaperIX.Dyadic.sourcePadic_coe
289 #print axioms KomorebiPaperIX.Dyadic.sourcePadic_isUnit
290 #print axioms KomorebiPaperIX.Dyadic.source_denominator_valuation
291 #print axioms KomorebiPaperIX.Dyadic.source_integral
292 #print axioms KomorebiPaperIX.Dyadic.source_nonzero
293 #print axioms KomorebiPaperIX.Dyadic.source_norm_one
294 #print axioms KomorebiPaperIX.Dyadic.source_numerator_nonzero
295 #print axioms KomorebiPaperIX.Dyadic.source_numerator_valuation
296 #print axioms KomorebiPaperIX.Dyadic.source_valuation
297 #print axioms KomorebiPaperIX.Dyadic.toPadicInt
298 #print axioms KomorebiPaperIX.Dyadic.toPadicInt_coe
299 #print axioms KomorebiPaperIX.DyadicExamples.beta_four
300 #print axioms KomorebiPaperIX.DyadicExamples.beta_one
301 #print axioms KomorebiPaperIX.DyadicExamples.beta_three
302 #print axioms KomorebiPaperIX.DyadicExamples.beta_two
303 #print axioms KomorebiPaperIX.DyadicExamples.manuscript_error_three
304 #print axioms KomorebiPaperIX.DyadicExamples.manuscript_error_three_valuation
305 #print axioms KomorebiPaperIX.DyadicExamples.manuscript_error_zero
306 #print axioms KomorebiPaperIX.DyadicExamples.manuscript_error_zero_valuation
307 #print axioms KomorebiPaperIX.DyadicExamples.manuscript_terms
308 #print axioms KomorebiPaperIX.DyadicExamples.manuscript_truncations
309 #print axioms KomorebiPaperIX.DyadicExamples.ordinary_coefficient_not_exponential
310 #print axioms KomorebiPaperIX.DyadicExamples.scale_factor_cannot_be_omitted
311 #print axioms KomorebiPaperIX.DyadicExamples.source_anchor_values
312 #print axioms KomorebiPaperIX.DyadicExamples.zero_row_all_depths
313 #print axioms KomorebiPaperIX.DyadicFourCongruences.base_step_bound
314 #print axioms KomorebiPaperIX.DyadicFourCongruences.decode_packet
315 #print axioms KomorebiPaperIX.DyadicFourCongruences.dyadic_period
316 #print axioms KomorebiPaperIX.DyadicFourCongruences.dyadic_period_precision
317 #print axioms KomorebiPaperIX.DyadicFourCongruences.lifted_flat
318 #print axioms KomorebiPaperIX.DyadicFourCongruences.normalizedLift
319 #print axioms KomorebiPaperIX.DyadicFourCongruences.normalizedLift_coe
320 #print axioms KomorebiPaperIX.DyadicFourCongruences.normalized_bound
321 #print axioms KomorebiPaperIX.DyadicFourCongruences.normalized_difference_coe
322 #print axioms KomorebiPaperIX.DyadicFourCongruences.normalized_precision
323 #print axioms KomorebiPaperIX.DyadicFourCongruences.packet_integral_series
324 #print axioms KomorebiPaperIX.DyadicFourCongruences.packet_support
325 #print axioms KomorebiPaperIX.DyadicFourCongruences.unnormalizedLift
326 #print axioms KomorebiPaperIX.DyadicFourCongruences.unnormalizedLift_coe
327 #print axioms KomorebiPaperIX.DyadicFourCongruences.unnormalized_bound
328 #print axioms KomorebiPaperIX.DyadicFourCongruences.unnormalized_difference_coe
329 #print axioms KomorebiPaperIX.DyadicFourCongruences.unnormalized_integral
330 #print axioms KomorebiPaperIX.DyadicFourCongruences.unnormalized_precision
331 #print axioms KomorebiPaperIX.DyadicFourDwork.B4
332 #print axioms KomorebiPaperIX.DyadicFourDwork.CoeffFlat4
333 #print axioms KomorebiPaperIX.DyadicFourDwork.Flat4
334 #print axioms KomorebiPaperIX.DyadicFourDwork.actual_packet_flat
335 #print axioms KomorebiPaperIX.DyadicFourDwork.decode_B4
336 #print axioms KomorebiPaperIX.DyadicFourDwork.decode_B4_iter
337 #print axioms KomorebiPaperIX.DyadicFourDwork.defect_coe
338 #print axioms KomorebiPaperIX.DyadicFourDwork.flat4_encode_iff
339 #print axioms KomorebiPaperIX.DyadicFourDwork.flat4_reciprocal
340 #print axioms KomorebiPaperIX.DyadicFourDwork.packed_flat_of_kummer
341 #print axioms KomorebiPaperIX.DyadicFourDwork.packet_is_reciprocal
342 #print axioms KomorebiPaperIX.DyadicFourDwork.sourceSeries
343 #print axioms KomorebiPaperIX.DyadicFourDwork.sourceSeries_constant
344 #print axioms KomorebiPaperIX.DyadicFourDwork.sourceSeries_encoding
345 #print axioms KomorebiPaperIX.DyadicFourDwork.sourceSeries_flat
346 #print axioms KomorebiPaperIX.DyadicFourKernel.affineUnit
347 #print axioms KomorebiPaperIX.DyadicFourKernel.affineUnit_coe
348 #print axioms KomorebiPaperIX.DyadicFourKernel.affine_isUnit
349 #print axioms KomorebiPaperIX.DyadicFourKernel.invAffine
350 #print axioms KomorebiPaperIX.DyadicFourKernel.invAffine_cancel
351 #print axioms KomorebiPaperIX.DyadicFourKernel.invAffine_coe
352 #print axioms KomorebiPaperIX.DyadicFourKernel.invAffine_kummer
353 #print axioms KomorebiPaperIX.DyadicFourKernel.sourcePacket
354 #print axioms KomorebiPaperIX.DyadicFourKernel.source_coe
355 #print axioms KomorebiPaperIX.DyadicFourKernel.source_kummer
356 #print axioms KomorebiPaperIX.DyadicReconstruction.dyadic_reconstruction
357 #print axioms KomorebiPaperIX.DyadicReconstruction.dyadic_reconstruction_even_degree
358 #print axioms KomorebiPaperIX.DyadicReconstruction.dyadic_reconstruction_padic
359 #print axioms KomorebiPaperIX.DyadicReconstruction.dyadic_supercongruence
360 #print axioms KomorebiPaperIX.DyadicReconstruction.falling_factorial_fraction
361 #print axioms KomorebiPaperIX.DyadicReconstruction.full_depth_exact
362 #print axioms KomorebiPaperIX.DyadicReconstruction.full_depth_exact_padic
363 #print axioms KomorebiPaperIX.DyadicReconstruction.normalized_error_integral
364 #print axioms KomorebiPaperIX.DyadicReconstruction.summand
365 #print axioms KomorebiPaperIX.DyadicReconstruction.summandPadic
366 #print axioms KomorebiPaperIX.DyadicReconstruction.summandPadic_coe
367 #print axioms KomorebiPaperIX.DyadicReconstruction.truncation
368 #print axioms KomorebiPaperIX.DyadicReconstruction.truncationPadic
369 #print axioms KomorebiPaperIX.DyadicReconstruction.truncationPadic_coe
370 #print axioms KomorebiPaperIX.DyadicSeries.beta_original_generating_function
371 #print axioms KomorebiPaperIX.DyadicSeries.cosh_product_identity
372 #print axioms KomorebiPaperIX.DyadicSeries.dyadic_reconstruction_series
373 #print axioms KomorebiPaperIX.DyadicSeries.fullKernel
374 #print axioms KomorebiPaperIX.DyadicSeries.inverseSeries
375 #print axioms KomorebiPaperIX.DyadicSeries.inverse_even_coefficient
376 #print axioms KomorebiPaperIX.DyadicSeries.inverse_odd_coefficient
377 #print axioms KomorebiPaperIX.DyadicSeries.kernel_shift_identity
378 #print axioms KomorebiPaperIX.DyadicSeries.sinhAt
379 #print axioms KomorebiPaperIX.DyadicSeries.sinh_square_identity
380 #print axioms KomorebiPaperIX.DyadicSeries.sourceSeries
381 #print axioms KomorebiPaperIX.DyadicSeries.source_even_coefficient
382 #print axioms KomorebiPaperIX.DyadicSeries.source_odd_coefficient
383 #print axioms KomorebiPaperIX.DyadicSeries.source_shift_identity
384 #print axioms KomorebiPaperIX.DyadicSeries.source_times_cosh
385 #print axioms KomorebiPaperIX.DyadicUnits.decomposition_unique
386 #print axioms KomorebiPaperIX.DyadicUnits.dyadic_unit_decomposition
387 #print axioms KomorebiPaperIX.DyadicUnits.four_unit_cases
388 #print axioms KomorebiPaperIX.DyadicUnits.modFour
389 #print axioms KomorebiPaperIX.DyadicUnits.modFourUnits
390 #print axioms KomorebiPaperIX.DyadicUnits.principal
391 #print axioms KomorebiPaperIX.DyadicUnits.principal_mod_four
392 #print axioms KomorebiPaperIX.DyadicUnits.sign
393 #print axioms KomorebiPaperIX.DyadicUnits.sign_cases
394 #print axioms KomorebiPaperIX.DyadicUnits.sign_invisible_mod_two
395 #print axioms KomorebiPaperIX.DyadicUnits.sign_mod_four
396 #print axioms KomorebiPaperIX.DyadicUnits.sign_square
397 #print axioms KomorebiPaperIX.DyadicUnits.sign_unique
398 #print axioms KomorebiPaperIX.DyadicUnits.signs_distinct_mod_four
399 #print axioms KomorebiPaperIX.EGF.coordinateEquiv
400 #print axioms KomorebiPaperIX.EGF.coordinate_forward
401 #print axioms KomorebiPaperIX.EGF.coordinate_inverse
402 #print axioms KomorebiPaperIX.EGF.decode
403 #print axioms KomorebiPaperIX.EGF.decode_add
404 #print axioms KomorebiPaperIX.EGF.decode_encode
405 #print axioms KomorebiPaperIX.EGF.decode_zero
406 #print axioms KomorebiPaperIX.EGF.egf_product
407 #print axioms KomorebiPaperIX.EGF.encode
408 #print axioms KomorebiPaperIX.EGF.encode_add
409 #print axioms KomorebiPaperIX.EGF.encode_coeff
410 #print axioms KomorebiPaperIX.EGF.encode_decode
411 #print axioms KomorebiPaperIX.EGF.encode_zero
412 #print axioms KomorebiPaperIX.EGF.inverse_constant_one
413 #print axioms KomorebiPaperIX.EGF.matrixEntry
414 #print axioms KomorebiPaperIX.EGF.matrix_above_diagonal
415 #print axioms KomorebiPaperIX.EGF.matrix_diagonal
416 #print axioms KomorebiPaperIX.EGF.transfer
417 #print axioms KomorebiPaperIX.EGF.transfer_add
418 #print axioms KomorebiPaperIX.EGF.transfer_comp
419 #print axioms KomorebiPaperIX.EGF.transfer_one
420 #print axioms KomorebiPaperIX.EGF.transfer_sum
421 #print axioms KomorebiPaperIX.EGF.transfer_zero
422 #print axioms KomorebiPaperIX.EGF.transportedPacket
423 #print axioms KomorebiPaperIX.EGF.transported_idempotent
424 #print axioms KomorebiPaperIX.EGF.transported_orthogonal
425 #print axioms KomorebiPaperIX.EGF.transported_reconstruction
426 #print axioms KomorebiPaperIX.EulerCoefficients.clearing_even_one
427 #print axioms KomorebiPaperIX.EulerCoefficients.cosh_coeff
428 #print axioms KomorebiPaperIX.EulerCoefficients.euler
429 #print axioms KomorebiPaperIX.EulerCoefficients.eulerEven
430 #print axioms KomorebiPaperIX.EulerCoefficients.eulerEven_cast
431 #print axioms KomorebiPaperIX.EulerCoefficients.euler_egf
432 #print axioms KomorebiPaperIX.EulerCoefficients.euler_even
433 #print axioms KomorebiPaperIX.EulerCoefficients.euler_odd
434 #print axioms KomorebiPaperIX.EulerCoefficients.euler_series_expansion
435 #print axioms KomorebiPaperIX.EulerCoefficients.euler_zero
436 #print axioms KomorebiPaperIX.EulerCoefficients.inverseCoeff
437 #print axioms KomorebiPaperIX.EulerCoefficients.inverseEven
438 #print axioms KomorebiPaperIX.EulerCoefficients.inverse_coeff_cast
439 #print axioms KomorebiPaperIX.EulerCoefficients.inverse_even_egf
440 #print axioms KomorebiPaperIX.EulerCoefficients.inverse_odd_zero
441 #print axioms KomorebiPaperIX.EulerCoefficients.inverse_zero
442 #print axioms KomorebiPaperIX.EulerCoefficients.original_even_section
443 #print axioms KomorebiPaperIX.EulerCoefficients.sech_square_coeff
444 #print axioms KomorebiPaperIX.EulerDefect.correction
445 #print axioms KomorebiPaperIX.EulerDefect.defect_support
446 #print axioms KomorebiPaperIX.EulerDefect.eulerOperator
447 #print axioms KomorebiPaperIX.EulerDefect.euler_pivot_unit
448 #print axioms KomorebiPaperIX.EulerDefect.flat_of_euler_flat
449 #print axioms KomorebiPaperIX.EulerDefect.iterated_commutator
450 #print axioms KomorebiPaperIX.EulerSeriesInverse.Flat
451 #print axioms KomorebiPaperIX.EulerSeriesInverse.Supported
452 #print axioms KomorebiPaperIX.EulerSeriesInverse.encode_lift
453 #print axioms KomorebiPaperIX.EulerSeriesInverse.euler
454 #print axioms KomorebiPaperIX.EulerSeriesInverse.euler_coeff
455 #print axioms KomorebiPaperIX.EulerSeriesInverse.euler_lift_encoding
456 #print axioms KomorebiPaperIX.EulerSeriesInverse.euler_solve
457 #print axioms KomorebiPaperIX.EulerSeriesInverse.flat_add
458 #print axioms KomorebiPaperIX.EulerSeriesInverse.flat_constant
459 #print axioms KomorebiPaperIX.EulerSeriesInverse.flat_mul
460 #print axioms KomorebiPaperIX.EulerSeriesInverse.flat_sub
461 #print axioms KomorebiPaperIX.EulerSeriesInverse.flat_zero
462 #print axioms KomorebiPaperIX.EulerSeriesInverse.lift
463 #print axioms KomorebiPaperIX.EulerSeriesInverse.solve
464 #print axioms KomorebiPaperIX.EulerSeriesInverse.solve_coeff
465 #print axioms KomorebiPaperIX.EulerSeriesInverse.solve_constant_zero
466 #print axioms KomorebiPaperIX.EulerSeriesInverse.solve_euler
467 #print axioms KomorebiPaperIX.EulerSeriesInverse.solve_flat
468 #print axioms KomorebiPaperIX.EulerSeriesInverse.solve_integral
469 #print axioms KomorebiPaperIX.EulerSeriesInverse.solve_supported
470 #print axioms KomorebiPaperIX.EulerSeriesInverse.supported_add
471 #print axioms KomorebiPaperIX.EulerSeriesInverse.supported_constant
472 #print axioms KomorebiPaperIX.EulerSeriesInverse.supported_mul
473 #print axioms KomorebiPaperIX.EulerSeriesInverse.supported_sub
474 #print axioms KomorebiPaperIX.EulerSeriesInverse.supported_zero
475 #print axioms KomorebiPaperIX.ExponentialSection.expandedPacket
476 #print axioms KomorebiPaperIX.ExponentialSection.expandedSource
477 #print axioms KomorebiPaperIX.ExponentialSection.originalSection
478 #print axioms KomorebiPaperIX.ExponentialSection.original_section_factorization
479 #print axioms KomorebiPaperIX.ExponentialSection.original_section_inverse_identity
480 #print axioms KomorebiPaperIX.ExponentialSection.packet_coefficient_at_address
481 #print axioms KomorebiPaperIX.ExponentialSection.source_coefficient_at_address
482 #print axioms KomorebiPaperIX.ExponentialSection.source_coefficient_off_address
483 #print axioms KomorebiPaperIX.FibonacciPackets.companion
484 #print axioms KomorebiPaperIX.FibonacciPackets.companion_power_add_two
485 #print axioms KomorebiPaperIX.FibonacciPackets.companion_square
486 #print axioms KomorebiPaperIX.FibonacciPackets.det_companion
487 #print axioms KomorebiPaperIX.FibonacciPackets.det_power
488 #print axioms KomorebiPaperIX.FibonacciPackets.fibonacci_even_step
489 #print axioms KomorebiPaperIX.FibonacciPackets.fibonacci_odd_step
490 #print axioms KomorebiPaperIX.FibonacciPackets.fibonacci_packet_recurrence
491 #print axioms KomorebiPaperIX.FibonacciPackets.fibonacci_packet_unique
492 #print axioms KomorebiPaperIX.FibonacciPackets.fibonacci_state_packet_recurrence
493 #print axioms KomorebiPaperIX.FibonacciPackets.initial
494 #print axioms KomorebiPaperIX.FibonacciPackets.jump_charpoly
495 #print axioms KomorebiPaperIX.FibonacciPackets.jump_coeff_one
496 #print axioms KomorebiPaperIX.FibonacciPackets.jump_coeff_zero
497 #print axioms KomorebiPaperIX.FibonacciPackets.lucas
498 #print axioms KomorebiPaperIX.FibonacciPackets.lucas_is_fibonacci_combination
499 #print axioms KomorebiPaperIX.FibonacciPackets.packet_is_fibonacci
500 #print axioms KomorebiPaperIX.FibonacciPackets.state
501 #print axioms KomorebiPaperIX.FibonacciPackets.state_is_orbit
502 #print axioms KomorebiPaperIX.FibonacciPackets.state_step
503 #print axioms KomorebiPaperIX.FibonacciPackets.state_zero
504 #print axioms KomorebiPaperIX.FibonacciPackets.trace_power_is_lucas
505 #print axioms KomorebiPaperIX.Filtered.even_weight_tail
506 #print axioms KomorebiPaperIX.Filtered.filtered_triangular_reconstruction
507 #print axioms KomorebiPaperIX.Filtered.omitted_tail_dvd
508 #print axioms KomorebiPaperIX.Filtered.padic_filtered_reconstruction
509 #print axioms KomorebiPaperIX.Filtered.power_dvd_weightPower
510 #print axioms KomorebiPaperIX.Filtered.weightPower
511 #print axioms KomorebiPaperIX.Filtered.weightPower_nat
512 #print axioms KomorebiPaperIX.Filtered.weightPower_top
513 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.composite_fermat_failure
514 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.dyadic_three_principal
515 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.dyadic_three_reconstruction
516 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.dyadic_three_sign
517 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.noncoprime_components_do_not_separate
518 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.ordinary_residue_is_not_lifted_root
519 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.outside_window_denominator
520 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.outside_window_not_integral
521 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.principal_two_mod_nine
522 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.reduced_first_row
523 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.reduced_second_row
524 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.standard_window_example
525 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.teichmuller_two_mod_nine
526 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.threeModEight
527 #print axioms KomorebiPaperIX.FiniteArithmeticExamples.twoModNine
528 #print axioms KomorebiPaperIX.FiniteUnits.decomposition_unique
529 #print axioms KomorebiPaperIX.FiniteUnits.finite_unit_decomposition
530 #print axioms KomorebiPaperIX.FiniteUnits.omega
531 #print axioms KomorebiPaperIX.FiniteUnits.omega_mul
532 #print axioms KomorebiPaperIX.FiniteUnits.omega_residue
533 #print axioms KomorebiPaperIX.FiniteUnits.omega_root
534 #print axioms KomorebiPaperIX.FiniteUnits.omega_unique
535 #print axioms KomorebiPaperIX.FiniteUnits.power_lift_congruence
536 #print axioms KomorebiPaperIX.FiniteUnits.principal
537 #print axioms KomorebiPaperIX.FiniteUnits.principal_mul
538 #print axioms KomorebiPaperIX.FiniteUnits.principal_residue
539 #print axioms KomorebiPaperIX.FiniteUnits.residue
540 #print axioms KomorebiPaperIX.FiniteUnits.residueUnits
541 #print axioms KomorebiPaperIX.FiniteUnits.residue_zero_iff
542 #print axioms KomorebiPaperIX.FiniteUnits.root_fixed_by_prime
543 #print axioms KomorebiPaperIX.FiniteUnits.root_fixed_by_prime_power
544 #print axioms KomorebiPaperIX.FiniteUnits.root_unique
545 #print axioms KomorebiPaperIX.FrobeniusSquare.normalized_defect_integral
546 #print axioms KomorebiPaperIX.FrobeniusSquare.power_defect_divisible
547 #print axioms KomorebiPaperIX.GlobalEulerBoundary.factorial_loss_transfer
548 #print axioms KomorebiPaperIX.GlobalEulerBoundary.lifted_difference_coe
549 #print axioms KomorebiPaperIX.GlobalEulerBoundary.precision
550 #print axioms KomorebiPaperIX.GlobalEulerBoundary.precision_zero
551 #print axioms KomorebiPaperIX.GlobalEulerBoundary.standard_window_all_orders_mod_p
552 #print axioms KomorebiPaperIX.GlobalEulerBoundary.standard_window_all_orders_order
553 #print axioms KomorebiPaperIX.GlobalEulerBoundary.standard_window_loss_transfer
554 #print axioms KomorebiPaperIX.GlobalEulerBoundary.unnormalized_difference
555 #print axioms KomorebiPaperIX.Hurwitz.convolution
556 #print axioms KomorebiPaperIX.Hurwitz.convolution_add_left
557 #print axioms KomorebiPaperIX.Hurwitz.convolution_add_right
558 #print axioms KomorebiPaperIX.Hurwitz.convolution_at_zero
559 #print axioms KomorebiPaperIX.Hurwitz.convolution_left_eq_zero
560 #print axioms KomorebiPaperIX.Hurwitz.convolution_sub_left
561 #print axioms KomorebiPaperIX.Hurwitz.convolution_sub_right
562 #print axioms KomorebiPaperIX.Hurwitz.convolution_zero_left
563 #print axioms KomorebiPaperIX.Hurwitz.convolution_zero_right
564 #print axioms KomorebiPaperIX.Hurwitz.oneSeries
565 #print axioms KomorebiPaperIX.Hurwitz.prime_shift_convolution
566 #print axioms KomorebiPaperIX.Hurwitz.shift
567 #print axioms KomorebiPaperIX.Hurwitz.shift_add
568 #print axioms KomorebiPaperIX.Hurwitz.shift_convolution
569 #print axioms KomorebiPaperIX.Hurwitz.shift_one_convolution
570 #print axioms KomorebiPaperIX.Hurwitz.shift_zero
571 #print axioms KomorebiPaperIX.HurwitzDworkClosure.decode_B
572 #print axioms KomorebiPaperIX.HurwitzDworkClosure.decode_B_iterate
573 #print axioms KomorebiPaperIX.HurwitzDworkClosure.decode_deriv
574 #print axioms KomorebiPaperIX.HurwitzDworkClosure.decode_derivative
575 #print axioms KomorebiPaperIX.HurwitzDworkClosure.decode_encodeIntegral
576 #print axioms KomorebiPaperIX.HurwitzDworkClosure.decode_one
577 #print axioms KomorebiPaperIX.HurwitzDworkClosure.defectIter_coe
578 #print axioms KomorebiPaperIX.HurwitzDworkClosure.encodeIntegral
579 #print axioms KomorebiPaperIX.HurwitzDworkClosure.flat_encode_iff
580 #print axioms KomorebiPaperIX.HurwitzDworkClosure.flat_product
581 #print axioms KomorebiPaperIX.HurwitzDworkClosure.flat_reciprocal
582 #print axioms KomorebiPaperIX.HurwitzDworkClosure.integralSeries
583 #print axioms KomorebiPaperIX.HurwitzDworkClosure.integral_derivative
584 #print axioms KomorebiPaperIX.HurwitzDworkClosure.integral_encode
585 #print axioms KomorebiPaperIX.HurwitzDworkClosure.integral_inverse
586 #print axioms KomorebiPaperIX.HurwitzDworkClosure.inverse_decode_step
587 #print axioms KomorebiPaperIX.HurwitzDworkClosure.normalized_mem_iff
588 #print axioms KomorebiPaperIX.HurwitzInverse.inverse
589 #print axioms KomorebiPaperIX.HurwitzInverse.inverse_convolution
590 #print axioms KomorebiPaperIX.HurwitzInverse.inverse_prime_difference
591 #print axioms KomorebiPaperIX.HurwitzInverse.inverse_step
592 #print axioms KomorebiPaperIX.HurwitzInverse.inverse_support
593 #print axioms KomorebiPaperIX.HurwitzInverse.inverse_zero
594 #print axioms KomorebiPaperIX.HurwitzInverse.sum_on_multiples
595 #print axioms KomorebiPaperIX.KummerSequences.Kummer
596 #print axioms KomorebiPaperIX.KummerSequences.affine_kummer
597 #print axioms KomorebiPaperIX.KummerSequences.constant_kummer
598 #print axioms KomorebiPaperIX.KummerSequences.difference_constant
599 #print axioms KomorebiPaperIX.KummerSequences.difference_product
600 #print axioms KomorebiPaperIX.KummerSequences.kummer_inverse
601 #print axioms KomorebiPaperIX.KummerSequences.kummer_mul
602 #print axioms KomorebiPaperIX.Mahler.coefficient
603 #print axioms KomorebiPaperIX.Mahler.coefficient_difference
604 #print axioms KomorebiPaperIX.Mahler.coefficient_eq_of_prefix
605 #print axioms KomorebiPaperIX.Mahler.coefficient_interpolant
606 #print axioms KomorebiPaperIX.Mahler.coefficient_zero
607 #print axioms KomorebiPaperIX.Mahler.difference
608 #print axioms KomorebiPaperIX.Mahler.difference_add
609 #print axioms KomorebiPaperIX.Mahler.difference_eq_of_stencil
610 #print axioms KomorebiPaperIX.Mahler.difference_explicit
611 #print axioms KomorebiPaperIX.Mahler.difference_from_coefficients
612 #print axioms KomorebiPaperIX.Mahler.difference_mul_const
613 #print axioms KomorebiPaperIX.Mahler.difference_one
614 #print axioms KomorebiPaperIX.Mahler.difference_succ
615 #print axioms KomorebiPaperIX.Mahler.difference_sum
616 #print axioms KomorebiPaperIX.Mahler.difference_zero
617 #print axioms KomorebiPaperIX.Mahler.finite_mahler_reconstruction
618 #print axioms KomorebiPaperIX.Mahler.finite_sample_difference
619 #print axioms KomorebiPaperIX.Mahler.interpolant
620 #print axioms KomorebiPaperIX.Mahler.interpolant_coefficients_unique
621 #print axioms KomorebiPaperIX.Mahler.interpolant_difference
622 #print axioms KomorebiPaperIX.Mahler.interpolant_high_difference
623 #print axioms KomorebiPaperIX.Mahler.interpolant_reproduces
624 #print axioms KomorebiPaperIX.MahlerExamples.constant_mode_infinite_valuation
625 #print axioms KomorebiPaperIX.MahlerExamples.constant_mode_zero
626 #print axioms KomorebiPaperIX.MahlerExamples.exampleWeight
627 #print axioms KomorebiPaperIX.MahlerExamples.finite_sample_boundary
628 #print axioms KomorebiPaperIX.MahlerExamples.nonunit_mode_counterexample
629 #print axioms KomorebiPaperIX.MahlerExamples.square_coefficients
630 #print axioms KomorebiPaperIX.MahlerExamples.square_reconstructed
631 #print axioms KomorebiPaperIX.MahlerExamples.unit_mode_sharp_integer_example
632 #print axioms KomorebiPaperIX.MahlerExamples.unrestricted_interpolant_difference_false
633 #print axioms KomorebiPaperIX.MahlerExamples.weightedCoefficients
634 #print axioms KomorebiPaperIX.MahlerExamples.weighted_example_bound
635 #print axioms KomorebiPaperIX.MahlerExamples.weighted_example_difference
636 #print axioms KomorebiPaperIX.MahlerExamples.weighted_example_padic_difference
637 #print axioms KomorebiPaperIX.MahlerExamples.weighted_example_padic_valuation
638 #print axioms KomorebiPaperIX.MahlerExamples.weighted_example_sharp
639 #print axioms KomorebiPaperIX.NishibuchiCompletion.allowed_parameters
640 #print axioms KomorebiPaperIX.NishibuchiCompletion.conjecture_3_9
641 #print axioms KomorebiPaperIX.NishibuchiCompletion.displacementFactor
642 #print axioms KomorebiPaperIX.NishibuchiCompletion.divisor_period
643 #print axioms KomorebiPaperIX.NishibuchiCompletion.full_integrality
644 #print axioms KomorebiPaperIX.NishibuchiCompletion.full_period_degree
645 #print axioms KomorebiPaperIX.NishibuchiCompletion.full_period_packet
646 #print axioms KomorebiPaperIX.NishibuchiCompletion.generalizedEuler
647 #print axioms KomorebiPaperIX.NishibuchiCompletion.generalizedEuler_at_packet
648 #print axioms KomorebiPaperIX.NishibuchiCompletion.modulus_divides_displacement
649 #print axioms KomorebiPaperIX.NishibuchiCompletion.original_degree_shift
650 #print axioms KomorebiPaperIX.NishibuchiCompletion.original_generating_identity
651 #print axioms KomorebiPaperIX.NishibuchiCompletion.packet_step_factor
652 #print axioms KomorebiPaperIX.Normalization.counterexample_parameters
653 #print axioms KomorebiPaperIX.Normalization.difference_nonzero
654 #print axioms KomorebiPaperIX.Normalization.difference_valuation
655 #print axioms KomorebiPaperIX.Normalization.factorial_loss_is_sharp
656 #print axioms KomorebiPaperIX.Normalization.factorial_valuation
657 #print axioms KomorebiPaperIX.Normalization.false_unrestricted_bound
658 #print axioms KomorebiPaperIX.Normalization.normalized_difference
659 #print axioms KomorebiPaperIX.Normalization.normalized_first
660 #print axioms KomorebiPaperIX.Normalization.normalized_second
661 #print axioms KomorebiPaperIX.Normalization.universal_no_loss_refuted
662 #print axioms KomorebiPaperIX.Normalization.unnormalized_difference
663 #print axioms KomorebiPaperIX.Normalization.unnormalized_difference_valuation
664 #print axioms KomorebiPaperIX.OddEuler.decode_even_source
665 #print axioms KomorebiPaperIX.OddEuler.decode_rescale
666 #print axioms KomorebiPaperIX.OddEuler.filter_range_le
667 #print axioms KomorebiPaperIX.OddEuler.full_depth_exact
668 #print axioms KomorebiPaperIX.OddEuler.odd_euler_reconstruction
669 #print axioms KomorebiPaperIX.OddEuler.odd_euler_reconstruction_zigzag
670 #print axioms KomorebiPaperIX.OddEuler.odd_euler_supercongruence
671 #print axioms KomorebiPaperIX.OddEuler.odd_prime_supercongruence
672 #print axioms KomorebiPaperIX.OddEuler.odd_reconstruction_series
673 #print axioms KomorebiPaperIX.OddEuler.reconstruction_all_indices
674 #print axioms KomorebiPaperIX.OddEuler.rowEntry
675 #print axioms KomorebiPaperIX.OddEuler.row_above_diagonal
676 #print axioms KomorebiPaperIX.OddEuler.row_action
677 #print axioms KomorebiPaperIX.OddEuler.row_diagonal
678 #print axioms KomorebiPaperIX.OddEuler.row_weight
679 #print axioms KomorebiPaperIX.OddEuler.scaled_sech_cosh
680 #print axioms KomorebiPaperIX.OddEuler.sum_even_terms
681 #print axioms KomorebiPaperIX.OddEuler.truncation
682 #print axioms KomorebiPaperIX.OddEulerExamples.coefficient_four
683 #print axioms KomorebiPaperIX.OddEulerExamples.coefficient_one
684 #print axioms KomorebiPaperIX.OddEulerExamples.coefficient_three
685 #print axioms KomorebiPaperIX.OddEulerExamples.coefficient_two
686 #print axioms KomorebiPaperIX.OddEulerExamples.euler_anchor_values
687 #print axioms KomorebiPaperIX.OddEulerExamples.even_length_reconstruction_fails
688 #print axioms KomorebiPaperIX.OddEulerExamples.inverse_anchor_values
689 #print axioms KomorebiPaperIX.OddEulerExamples.manuscript_error
690 #print axioms KomorebiPaperIX.OddEulerExamples.manuscript_error_sharp
691 #print axioms KomorebiPaperIX.OddEulerExamples.manuscript_truncation
692 #print axioms KomorebiPaperIX.OddEulerExamples.source_anchor_values
693 #print axioms KomorebiPaperIX.OddPower.coshAt
694 #print axioms KomorebiPaperIX.OddPower.cosh_constant
695 #print axioms KomorebiPaperIX.OddPower.cosh_mul_sech
696 #print axioms KomorebiPaperIX.OddPower.cosh_neg
697 #print axioms KomorebiPaperIX.OddPower.cosh_square
698 #print axioms KomorebiPaperIX.OddPower.evenPart
699 #print axioms KomorebiPaperIX.OddPower.evenPart_coeff
700 #print axioms KomorebiPaperIX.OddPower.expAt
701 #print axioms KomorebiPaperIX.OddPower.expAt_coeff
702 #print axioms KomorebiPaperIX.OddPower.expAt_constant
703 #print axioms KomorebiPaperIX.OddPower.expAt_mul
704 #print axioms KomorebiPaperIX.OddPower.expAt_zero
705 #print axioms KomorebiPaperIX.OddPower.odd_source_egf
706 #print axioms KomorebiPaperIX.OddPower.odd_source_even_egf
707 #print axioms KomorebiPaperIX.OddPower.rescale_constant
708 #print axioms KomorebiPaperIX.OddPower.rescale_cosh
709 #print axioms KomorebiPaperIX.OddPower.rescale_expAt
710 #print axioms KomorebiPaperIX.OddPower.rescale_sech_neg
711 #print axioms KomorebiPaperIX.OddPower.sech
712 #print axioms KomorebiPaperIX.OddPower.sech_mul_cosh
713 #print axioms KomorebiPaperIX.OddPower.source
714 #print axioms KomorebiPaperIX.OddPower.sourceSeries
715 #print axioms KomorebiPaperIX.OddPower.source_as_exponentials
716 #print axioms KomorebiPaperIX.OddPower.source_times_cosh
717 #print axioms KomorebiPaperIX.PadicBounds.coefficient_tail_bound
718 #print axioms KomorebiPaperIX.PadicBounds.difference_dvd_of_coefficients
719 #print axioms KomorebiPaperIX.PadicBounds.interpolant_weighted_bound
720 #print axioms KomorebiPaperIX.PadicBounds.nat_le_order_iff
721 #print axioms KomorebiPaperIX.PadicBounds.order
722 #print axioms KomorebiPaperIX.PadicBounds.order_add_lower
723 #print axioms KomorebiPaperIX.PadicBounds.order_mul
724 #print axioms KomorebiPaperIX.PadicBounds.order_natCast
725 #print axioms KomorebiPaperIX.PadicBounds.order_nonzero
726 #print axioms KomorebiPaperIX.PadicBounds.order_sum_lower
727 #print axioms KomorebiPaperIX.PadicBounds.order_zero
728 #print axioms KomorebiPaperIX.PadicBounds.weightedBound
729 #print axioms KomorebiPaperIX.PadicBounds.weighted_difference_bound
730 #print axioms KomorebiPaperIX.PadicBounds.weighted_difference_divisibility
731 #print axioms KomorebiPaperIX.PeriodExamples.c60_difference
732 #print axioms KomorebiPaperIX.PeriodExamples.c60_first
733 #print axioms KomorebiPaperIX.PeriodExamples.c60_second
734 #print axioms KomorebiPaperIX.PeriodExamples.first_difference_precision_is_one
735 #print axioms KomorebiPaperIX.PeriodExamples.nondivisor_period_fails
736 #print axioms KomorebiPaperIX.PeriodExamples.nondivisor_reduced_third
737 #print axioms KomorebiPaperIX.PeriodExamples.p3_m2_positive_tail
738 #print axioms KomorebiPaperIX.PeriodExamples.p5_m2_positive_tail
739 #print axioms KomorebiPaperIX.PeriodExamples.period_can_fail_at_zero
740 #print axioms KomorebiPaperIX.PeriodExamples.reduced_one
741 #print axioms KomorebiPaperIX.PeriodExamples.reduced_two
742 #print axioms KomorebiPaperIX.PeriodExamples.zero_has_every_precision
743 #print axioms KomorebiPaperIX.PeriodFromDifferences.binomial_precision
744 #print axioms KomorebiPaperIX.PeriodFromDifferences.displacement_expansion
745 #print axioms KomorebiPaperIX.PeriodFromDifferences.prime_power_period
746 #print axioms KomorebiPaperIX.PeriodFromDifferences.valuation_lt
747 #print axioms KomorebiPaperIX.PrimeBlockPolynomial.block_mem
748 #print axioms KomorebiPaperIX.PrimeBlockPolynomial.falling
749 #print axioms KomorebiPaperIX.PrimeBlockPolynomial.fallingAt
750 #print axioms KomorebiPaperIX.PrimeBlockPolynomial.fallingAt_add
751 #print axioms KomorebiPaperIX.PrimeBlockPolynomial.falling_blocks_mem
752 #print axioms KomorebiPaperIX.PrimeBlockPolynomial.falling_defect_divisible
753 #print axioms KomorebiPaperIX.PrimeBlockPolynomial.falling_eval
754 #print axioms KomorebiPaperIX.PrimeBlockPolynomial.falling_factorial_divisibility
755 #print axioms KomorebiPaperIX.PrimeBlockPolynomial.falling_mem
756 #print axioms KomorebiPaperIX.PrimeBlockPolynomial.prime_field_falling
757 #print axioms KomorebiPaperIX.RatioRiccati.centered_equation
758 #print axioms KomorebiPaperIX.RatioRiccati.next_ratio_flat
759 #print axioms KomorebiPaperIX.RatioRiccati.original_derivative
760 #print axioms KomorebiPaperIX.RatioRiccati.original_nonzero
761 #print axioms KomorebiPaperIX.RatioRiccati.ratio
762 #print axioms KomorebiPaperIX.RatioRiccati.ratio_p_support
763 #print axioms KomorebiPaperIX.RatioRiccati.ratio_riccati
764 #print axioms KomorebiPaperIX.RatioRiccati.ratio_riccati_padic
765 #print axioms KomorebiPaperIX.RatioRiccati.ratio_zero
766 #print axioms KomorebiPaperIX.RatioSeriesSupport.expanded_inverse
767 #print axioms KomorebiPaperIX.RatioSeriesSupport.ratioCoefficient
768 #print axioms KomorebiPaperIX.RatioSeriesSupport.ratioCoefficient_zero
769 #print axioms KomorebiPaperIX.RatioSeriesSupport.ratio_expansion
770 #print axioms KomorebiPaperIX.RatioSeriesSupport.ratio_support
771 #print axioms KomorebiPaperIX.RatioSeriesSupport.singular_ratio_integral
772 #print axioms KomorebiPaperIX.RatioSeriesSupport.singular_ratio_precision
773 #print axioms KomorebiPaperIX.RecurrenceExamples.empty_state_recurrence
774 #print axioms KomorebiPaperIX.RecurrenceExamples.even_step_wrong_sign
775 #print axioms KomorebiPaperIX.RecurrenceExamples.identity_packet_constant
776 #print axioms KomorebiPaperIX.RecurrenceExamples.identity_packet_first_order
777 #print axioms KomorebiPaperIX.RecurrenceExamples.lucas_anchor_values
778 #print axioms KomorebiPaperIX.RecurrenceExamples.manuscript_sequence
779 #print axioms KomorebiPaperIX.RecurrenceExamples.manuscript_step_three
780 #print axioms KomorebiPaperIX.RecurrenceExamples.nilpotent
781 #print axioms KomorebiPaperIX.RecurrenceExamples.nilpotent_charpoly
782 #print axioms KomorebiPaperIX.RecurrenceExamples.nilpotent_packet_zero
783 #print axioms KomorebiPaperIX.RecurrenceExamples.nilpotent_square
784 #print axioms KomorebiPaperIX.RecurrenceExamples.step_one
785 #print axioms KomorebiPaperIX.RecurrenceExamples.step_two
786 #print axioms KomorebiPaperIX.RecurrenceExamples.wrong_jump_matrix
787 #print axioms KomorebiPaperIX.RecurrenceExamples.zero_step
788 #print axioms KomorebiPaperIX.ResiduePackets.packet
789 #print axioms KomorebiPaperIX.ResiduePackets.packet_apply
790 #print axioms KomorebiPaperIX.ResiduePackets.packet_idempotent
791 #print axioms KomorebiPaperIX.ResiduePackets.packet_orthogonal
792 #print axioms KomorebiPaperIX.ResiduePackets.packet_reconstruction
793 #print axioms KomorebiPaperIX.ResiduePackets.packet_refinement
794 #print axioms KomorebiPaperIX.ResiduePackets.seriesPacket
795 #print axioms KomorebiPaperIX.ResiduePackets.seriesPacket_coeff
796 #print axioms KomorebiPaperIX.ResiduePackets.series_packet_reconstruction
797 #print axioms KomorebiPaperIX.ResiduePackets.series_packet_refinement
798 #print axioms KomorebiPaperIX.ResidueZeroDwork.encode_convolution
799 #print axioms KomorebiPaperIX.ResidueZeroDwork.sectionCoefficients
800 #print axioms KomorebiPaperIX.ResidueZeroDwork.section_defect_zero
801 #print axioms KomorebiPaperIX.ResidueZeroDwork.section_flat
802 #print axioms KomorebiPaperIX.ResidueZeroDwork.section_zero
803 #print axioms KomorebiPaperIX.ResidueZeroDwork.zeroPacket
804 #print axioms KomorebiPaperIX.ResidueZeroDwork.zero_packet_coe
805 #print axioms KomorebiPaperIX.ResidueZeroDwork.zero_packet_flat
806 #print axioms KomorebiPaperIX.ResidueZeroDwork.zero_packet_global_bound
807 #print axioms KomorebiPaperIX.ResidueZeroDwork.zero_packet_is_reciprocal
808 #print axioms KomorebiPaperIX.ResidueZeroDwork.zero_packet_section_product
809 #print axioms KomorebiPaperIX.RiccatiFlatPropagation.B_iterate_prefix
810 #print axioms KomorebiPaperIX.RiccatiFlatPropagation.forcing
811 #print axioms KomorebiPaperIX.RiccatiFlatPropagation.forcing_difference
812 #print axioms KomorebiPaperIX.RiccatiFlatPropagation.picard
813 #print axioms KomorebiPaperIX.RiccatiFlatPropagation.picard_constant
814 #print axioms KomorebiPaperIX.RiccatiFlatPropagation.picard_flat
815 #print axioms KomorebiPaperIX.RiccatiFlatPropagation.picard_matches
816 #print axioms KomorebiPaperIX.RiccatiFlatPropagation.picard_supported
817 #print axioms KomorebiPaperIX.RiccatiFlatPropagation.product_vanishing_prefix
818 #print axioms KomorebiPaperIX.RiccatiFlatPropagation.riccati_solution_flat
819 #print axioms KomorebiPaperIX.SectionLogBridge.coefficient_section
820 #print axioms KomorebiPaperIX.SectionLogBridge.factorial_coeff_section
821 #print axioms KomorebiPaperIX.SectionLogBridge.numerator_succ
822 #print axioms KomorebiPaperIX.SectionLogBridge.numerator_zero
823 #print axioms KomorebiPaperIX.SectionLogBridge.pullback_equation
824 #print axioms KomorebiPaperIX.SectionLogBridge.pullback_recurrence
825 #print axioms KomorebiPaperIX.SectionLogBridge.pullback_zero
826 #print axioms KomorebiPaperIX.SectionLogBridge.sectionPullback
827 #print axioms KomorebiPaperIX.SectionLogBridge.sectionSeries
828 #print axioms KomorebiPaperIX.SectionLogBridge.section_derivative
829 #print axioms KomorebiPaperIX.SectionLogBridge.section_weighted_integral
830 #print axioms KomorebiPaperIX.SeriesDifferenceBridge.decode_rationalMap
831 #print axioms KomorebiPaperIX.SeriesDifferenceBridge.packetLift
832 #print axioms KomorebiPaperIX.SeriesDifferenceBridge.packetLift_coe
833 #print axioms KomorebiPaperIX.SeriesDifferenceBridge.packet_divisibility
834 #print axioms KomorebiPaperIX.SeriesDifferenceBridge.packet_encoding
835 #print axioms KomorebiPaperIX.SeriesDifferenceBridge.packet_precision
836 #print axioms KomorebiPaperIX.SeriesDifferenceBridge.rationalMap
837 #print axioms KomorebiPaperIX.SingularAmiceExamples.normalized_section_isUnit
838 #print axioms KomorebiPaperIX.SingularAmiceExamples.p3_singular_ratio_constant
839 #print axioms KomorebiPaperIX.SingularAmiceExamples.p3_singular_ratio_weighted
840 #print axioms KomorebiPaperIX.SingularAmiceExamples.positive_section_zero_constant
841 #print axioms KomorebiPaperIX.SingularAmiceExamples.section3_bound_sharp
842 #print axioms KomorebiPaperIX.SingularAmiceExamples.section3_coefficient_valuation
843 #print axioms KomorebiPaperIX.SingularAmiceExamples.section3_first
844 #print axioms KomorebiPaperIX.SingularAmiceExamples.section3_first_nonconstant
845 #print axioms KomorebiPaperIX.SingularAmiceExamples.section3_second_two
846 #print axioms KomorebiPaperIX.SingularAmiceExamples.section3_second_zero
847 #print axioms KomorebiPaperIX.SingularNormalizedSection.kernelPadic
848 #print axioms KomorebiPaperIX.SingularNormalizedSection.kernel_constant
849 #print axioms KomorebiPaperIX.SingularNormalizedSection.logUnit
850 #print axioms KomorebiPaperIX.SingularNormalizedSection.logUnit_constant
851 #print axioms KomorebiPaperIX.SingularNormalizedSection.log_factorization
852 #print axioms KomorebiPaperIX.SingularNormalizedSection.mapped_original_factorization
853 #print axioms KomorebiPaperIX.SingularNormalizedSection.normalizedUnit
854 #print axioms KomorebiPaperIX.SingularNormalizedSection.normalized_coefficient
855 #print axioms KomorebiPaperIX.SingularNormalizedSection.normalized_constant
856 #print axioms KomorebiPaperIX.SingularNormalizedSection.prime_power_dvd_singular_factorial
857 #print axioms KomorebiPaperIX.SingularNormalizedSection.sectionSeries_is_original
858 #print axioms KomorebiPaperIX.SingularNormalizedSection.section_factorization
859 #print axioms KomorebiPaperIX.SingularNormalizedSection.weighted_normalized_singular
860 #print axioms KomorebiPaperIX.SingularNormalizedSection.weighted_prime_logUnit
861 #print axioms KomorebiPaperIX.SingularNormalizedSection.weighted_singular_leading
862 #print axioms KomorebiPaperIX.SingularRatioAmice.X_derivative_power
863 #print axioms KomorebiPaperIX.SingularRatioAmice.derivative_map_rat
864 #print axioms KomorebiPaperIX.SingularRatioAmice.normalized_log_derivative
865 #print axioms KomorebiPaperIX.SingularRatioAmice.paper_singular_amice_estimate
866 #print axioms KomorebiPaperIX.SingularRatioAmice.ratioPullback
867 #print axioms KomorebiPaperIX.SingularRatioAmice.ratioPullback_is_rational_map
868 #print axioms KomorebiPaperIX.SingularRatioAmice.ratioSeries
869 #print axioms KomorebiPaperIX.SingularRatioAmice.ratio_cleared
870 #print axioms KomorebiPaperIX.SingularRatioAmice.ratio_constant
871 #print axioms KomorebiPaperIX.SingularRatioAmice.ratio_pullback_cleared
872 #print axioms KomorebiPaperIX.SingularRatioAmice.ratio_pullback_formula
873 #print axioms KomorebiPaperIX.SingularRatioAmice.rationalRatioPullback
874 #print axioms KomorebiPaperIX.SingularRatioAmice.rational_pullback_constant
875 #print axioms KomorebiPaperIX.SingularRatioAmice.sectionPadic_as_subst
876 #print axioms KomorebiPaperIX.SingularRatioAmice.section_nonzero
877 #print axioms KomorebiPaperIX.SingularRatioAmice.section_theta
878 #print axioms KomorebiPaperIX.SingularRatioAmice.singular_ratio_weighted
879 #print axioms KomorebiPaperIX.SingularRatioAmice.singular_rational_coefficient_bound
880 #print axioms KomorebiPaperIX.SingularRatioAmice.valuation_of_scaled_integral
881 #print axioms KomorebiPaperIX.StandardWindow.factorial_unit_window
882 #print axioms KomorebiPaperIX.StandardWindow.factorial_valuation_zero
883 #print axioms KomorebiPaperIX.StandardWindow.lucas_row_reduction
884 #print axioms KomorebiPaperIX.StandardWindow.standard_diagonal_mod_one
885 #print axioms KomorebiPaperIX.StandardWindow.standard_diagonal_not_divisible
886 #print axioms KomorebiPaperIX.StandardWindow.standard_diagonal_unit
887 #print axioms KomorebiPaperIX.StandardWindowDwork.defectIter_mul_const
888 #print axioms KomorebiPaperIX.StandardWindowDwork.flat_mul_const
889 #print axioms KomorebiPaperIX.StandardWindowDwork.kernelCoefficients
890 #print axioms KomorebiPaperIX.StandardWindowDwork.kernel_coe
891 #print axioms KomorebiPaperIX.StandardWindowDwork.kernel_constant
892 #print axioms KomorebiPaperIX.StandardWindowDwork.kernel_encoding
893 #print axioms KomorebiPaperIX.StandardWindowDwork.kernel_euler_step
894 #print axioms KomorebiPaperIX.StandardWindowDwork.kernel_flat
895 #print axioms KomorebiPaperIX.StandardWindowDwork.kernel_support
896 #print axioms KomorebiPaperIX.StandardWindowDwork.kernel_zero_address
897 #print axioms KomorebiPaperIX.StandardWindowDwork.packet_encoding
898 #print axioms KomorebiPaperIX.StandardWindowDwork.standard_window_flat
899 #print axioms KomorebiPaperIX.StandardWindowDwork.standard_window_global_bound
900 #print axioms KomorebiPaperIX.StandardWindowDwork.standard_window_global_order
901 #print axioms KomorebiPaperIX.StandardWindowDwork.window_is_reciprocal
902 #print axioms KomorebiPaperIX.StandardWindowPrecision.modulus_p_complete_family
903 #print axioms KomorebiPaperIX.StandardWindowPrecision.normalized_window_precision
904 #print axioms KomorebiPaperIX.StandardWindowPrecision.rational_precision_of_divisibility
905 #print axioms KomorebiPaperIX.StandardWindowPrecision.residue_zero_complete_bound
906 #print axioms KomorebiPaperIX.StandardWindowPrecision.unnormalized_window_precision
907 #print axioms KomorebiPaperIX.StepMultiples.difference_commute_one
908 #print axioms KomorebiPaperIX.StepMultiples.difference_translate
909 #print axioms KomorebiPaperIX.StepMultiples.divisibility_transfer
910 #print axioms KomorebiPaperIX.StepMultiples.saturated_multiple_step
911 #print axioms KomorebiPaperIX.StepMultiples.single_step_telescope
912 #print axioms KomorebiPaperIX.StepMultiples.translateSum
913 #print axioms KomorebiPaperIX.Theorem75.global_finite_difference
914 #print axioms KomorebiPaperIX.Theorem75.precision_at_threshold
915 #print axioms KomorebiPaperIX.ThetaWeighted.B_constant
916 #print axioms KomorebiPaperIX.ThetaWeighted.B_iter_mem
917 #print axioms KomorebiPaperIX.ThetaWeighted.B_mem
918 #print axioms KomorebiPaperIX.ThetaWeighted.B_prefix
919 #print axioms KomorebiPaperIX.ThetaWeighted.B_y_power
920 #print axioms KomorebiPaperIX.ThetaWeighted.Good
921 #print axioms KomorebiPaperIX.ThetaWeighted.X_binomial
922 #print axioms KomorebiPaperIX.ThetaWeighted.deriv_mem
923 #print axioms KomorebiPaperIX.ThetaWeighted.deriv_prefix
924 #print axioms KomorebiPaperIX.ThetaWeighted.deriv_y_power
925 #print axioms KomorebiPaperIX.ThetaWeighted.dividedGenerator
926 #print axioms KomorebiPaperIX.ThetaWeighted.dividedGenerator_mem
927 #print axioms KomorebiPaperIX.ThetaWeighted.divided_y_defect_mem
928 #print axioms KomorebiPaperIX.ThetaWeighted.good_X
929 #print axioms KomorebiPaperIX.ThetaWeighted.good_add
930 #print axioms KomorebiPaperIX.ThetaWeighted.good_const
931 #print axioms KomorebiPaperIX.ThetaWeighted.good_dividedGenerator
932 #print axioms KomorebiPaperIX.ThetaWeighted.good_monomial
933 #print axioms KomorebiPaperIX.ThetaWeighted.good_mul
934 #print axioms KomorebiPaperIX.ThetaWeighted.good_neg
935 #print axioms KomorebiPaperIX.ThetaWeighted.good_pow
936 #print axioms KomorebiPaperIX.ThetaWeighted.good_sum
937 #print axioms KomorebiPaperIX.ThetaWeighted.good_y
938 #print axioms KomorebiPaperIX.ThetaWeighted.middle_mem
939 #print axioms KomorebiPaperIX.ThetaWeighted.monomial_factorization
940 #print axioms KomorebiPaperIX.ThetaWeighted.theta
941 #print axioms KomorebiPaperIX.ThetaWeighted.theta_apply
942 #print axioms KomorebiPaperIX.ThetaWeighted.theta_coeff
943 #print axioms KomorebiPaperIX.ThetaWeighted.theta_mem
944 #print axioms KomorebiPaperIX.ThetaWeighted.theta_y_power
945 #print axioms KomorebiPaperIX.Triangular.Integral
946 #print axioms KomorebiPaperIX.Triangular.denominator
947 #print axioms KomorebiPaperIX.Triangular.denominator_dvd
948 #print axioms KomorebiPaperIX.Triangular.denominator_succ
949 #print axioms KomorebiPaperIX.Triangular.denominator_zero
950 #print axioms KomorebiPaperIX.Triangular.integral_add
951 #print axioms KomorebiPaperIX.Triangular.integral_int
952 #print axioms KomorebiPaperIX.Triangular.integral_mul
953 #print axioms KomorebiPaperIX.Triangular.integral_promote
954 #print axioms KomorebiPaperIX.Triangular.integral_sub
955 #print axioms KomorebiPaperIX.Triangular.integral_sum
956 #print axioms KomorebiPaperIX.Triangular.solve
957 #print axioms KomorebiPaperIX.Triangular.solve_denominator_integral
958 #print axioms KomorebiPaperIX.Triangular.solve_row
959 #print axioms KomorebiPaperIX.Triangular.solve_step
960 #print axioms KomorebiPaperIX.Triangular.solve_unique
961 #print axioms KomorebiPaperIX.Triangular.solve_zero
962 #print axioms KomorebiPaperIX.UnitModes.finite_mode_formula
963 #print axioms KomorebiPaperIX.UnitModes.finite_unit_modes_divisibility
964 #print axioms KomorebiPaperIX.UnitModes.finite_unit_modes_valuation_gain
965 #print axioms KomorebiPaperIX.UnitModes.geometric_difference
966 #print axioms KomorebiPaperIX.UnitModes.geometric_difference_divisibility
967 #print axioms KomorebiPaperIX.UnitModes.unit_fermat_divisibility
968 #print axioms KomorebiPaperIX.UnitModes.unit_mode_divisibility
969 #print axioms KomorebiPaperIX.UnitModes.unit_mode_valuation_gain
970 #print axioms KomorebiPaperIX.UnitModes.unit_multiple_step_divisibility
971 #print axioms KomorebiPaperIX.UnitRefinement.base_precision_principal
972 #print axioms KomorebiPaperIX.UnitRefinement.omega_compatible
973 #print axioms KomorebiPaperIX.UnitRefinement.principal_compatible
974 #print axioms KomorebiPaperIX.UnitRefinement.principal_power
975 #print axioms KomorebiPaperIX.UnitRefinement.reduce
976 #print axioms KomorebiPaperIX.UnitRefinement.reduceUnits
977 #print axioms KomorebiPaperIX.UnitTriangular.field_solve_map
978 #print axioms KomorebiPaperIX.UnitTriangular.solve
979 #print axioms KomorebiPaperIX.UnitTriangular.solve_map_to_field
980 #print axioms KomorebiPaperIX.UnitTriangular.solve_row
981 #print axioms KomorebiPaperIX.UnitTriangular.solve_step
982 #print axioms KomorebiPaperIX.UnitTriangular.solve_unique
983 #print axioms KomorebiPaperIX.WeightedAmice.Integral
984 #print axioms KomorebiPaperIX.WeightedAmice.IsWeighted
985 #print axioms KomorebiPaperIX.WeightedAmice.Weighted
986 #print axioms KomorebiPaperIX.WeightedAmice.X_mem
987 #print axioms KomorebiPaperIX.WeightedAmice.constant_mem
988 #print axioms KomorebiPaperIX.WeightedAmice.derivative_mem
989 #print axioms KomorebiPaperIX.WeightedAmice.eulerLog
990 #print axioms KomorebiPaperIX.WeightedAmice.integral_add
991 #print axioms KomorebiPaperIX.WeightedAmice.integral_int
992 #print axioms KomorebiPaperIX.WeightedAmice.integral_mul
993 #print axioms KomorebiPaperIX.WeightedAmice.integral_nat
994 #print axioms KomorebiPaperIX.WeightedAmice.integral_neg
995 #print axioms KomorebiPaperIX.WeightedAmice.integral_one
996 #print axioms KomorebiPaperIX.WeightedAmice.integral_pow
997 #print axioms KomorebiPaperIX.WeightedAmice.integral_sum
998 #print axioms KomorebiPaperIX.WeightedAmice.integral_zero
999 #print axioms KomorebiPaperIX.WeightedAmice.inverse_coefficient
1000 #print axioms KomorebiPaperIX.WeightedAmice.inverse_mem
1001 #print axioms KomorebiPaperIX.WeightedAmice.inverse_nat_integral
1002 #print axioms KomorebiPaperIX.WeightedAmice.linear_le_power
1003 #print axioms KomorebiPaperIX.WeightedAmice.mem_ring
1004 #print axioms KomorebiPaperIX.WeightedAmice.monomial_mem
1005 #print axioms KomorebiPaperIX.WeightedAmice.ordinary_mem
1006 #print axioms KomorebiPaperIX.WeightedAmice.raise_weight
1007 #print axioms KomorebiPaperIX.WeightedAmice.ring
1008 #print axioms KomorebiPaperIX.WeightedAmice.scaled_mono
1009 #print axioms KomorebiPaperIX.WeightedAmice.scaled_product
1010 #print axioms KomorebiPaperIX.WeightedAmice.sectionPadic
1011 #print axioms KomorebiPaperIX.WeightedAmice.shifted_weight
1012 #print axioms KomorebiPaperIX.WeightedAmice.tail
1013 #print axioms KomorebiPaperIX.WeightedAmice.tail_coeff
1014 #print axioms KomorebiPaperIX.WeightedAmice.valuation_le_floor
1015 #print axioms KomorebiPaperIX.WeightedAmice.weighted_X
1016 #print axioms KomorebiPaperIX.WeightedAmice.weighted_add
1017 #print axioms KomorebiPaperIX.WeightedAmice.weighted_constant
1018 #print axioms KomorebiPaperIX.WeightedAmice.weighted_derivative
1019 #print axioms KomorebiPaperIX.WeightedAmice.weighted_eulerLog
1020 #print axioms KomorebiPaperIX.WeightedAmice.weighted_inverse
1021 #print axioms KomorebiPaperIX.WeightedAmice.weighted_log
1022 #print axioms KomorebiPaperIX.WeightedAmice.weighted_mul
1023 #print axioms KomorebiPaperIX.WeightedAmice.weighted_neg
1024 #print axioms KomorebiPaperIX.WeightedAmice.weighted_one
1025 #print axioms KomorebiPaperIX.WeightedAmice.weighted_pow
1026 #print axioms KomorebiPaperIX.WeightedAmice.weighted_product_term
1027 #print axioms KomorebiPaperIX.WeightedAmice.weighted_section
1028 #print axioms KomorebiPaperIX.WeightedAmice.weighted_zero
1029 #print axioms KomorebiPaperIX.WeightedDworkTransfer.B_expPull
1030 #print axioms KomorebiPaperIX.WeightedDworkTransfer.constant_expPull
1031 #print axioms KomorebiPaperIX.WeightedDworkTransfer.decode_expPull
1032 #print axioms KomorebiPaperIX.WeightedDworkTransfer.deriv_expPull
1033 #print axioms KomorebiPaperIX.WeightedDworkTransfer.derivative_expPull
1034 #print axioms KomorebiPaperIX.WeightedDworkTransfer.expPull
1035 #print axioms KomorebiPaperIX.WeightedDworkTransfer.expPull_flat
1036 #print axioms KomorebiPaperIX.WeightedDworkTransfer.expPull_integral
1037 #print axioms KomorebiPaperIX.WeightedDworkTransfer.expPull_log
1038 #print axioms KomorebiPaperIX.WeightedDworkTransfer.flat_of_log_weighted
1039 #print axioms KomorebiPaperIX.WeightedDworkTransfer.iterate_B_expPull
1040 #print axioms KomorebiPaperIX.WeightedDworkTransfer.singular_ratio_flat
1041 #print axioms KomorebiPaperIX.WindowIndependence.coeffPadic
1042 #print axioms KomorebiPaperIX.WindowIndependence.coeffPadic_coe
1043 #print axioms KomorebiPaperIX.WindowIndependence.coeffPadic_row
1044 #print axioms KomorebiPaperIX.WindowIndependence.diagonalUnit
1045 #print axioms KomorebiPaperIX.WindowIndependence.diagonalUnit_coe
1046 #print axioms KomorebiPaperIX.WindowIndependence.diagonal_padic_isUnit
1047 #print axioms KomorebiPaperIX.WindowIndependence.reduced
1048 #print axioms KomorebiPaperIX.WindowIndependence.reduced_row
1049 #print axioms KomorebiPaperIX.WindowIndependence.reduced_unique
1050 #print axioms KomorebiPaperIX.WindowIndependence.reduced_zero
1051 #print axioms KomorebiPaperIX.WindowIndependence.residue_independence
1052 #print axioms KomorebiPaperIX.WindowIndependence.standard_window_integral
1053 #print axioms KomorebiPaperIX.WindowIndependence.two_window_addresses_agree
1054 #print axioms KomorebiPaperIX.WindowIndependence.two_window_addresses_congruent
1055 #print axioms KomorebiPaperIX.WindowPeriod.inverse_off_support
1056 #print axioms KomorebiPaperIX.WindowPeriod.inverse_on_support
1057 #print axioms KomorebiPaperIX.WindowPeriod.multiple_period
1058 #print axioms KomorebiPaperIX.WindowPeriod.sectionCoefficients
1059 #print axioms KomorebiPaperIX.WindowPeriod.section_off_support
1060 #print axioms KomorebiPaperIX.WindowPeriod.section_prime_shift
1061 #print axioms KomorebiPaperIX.WindowPeriod.section_zero
1062 #print axioms KomorebiPaperIX.WindowPeriod.standard_window_period_divisibility
1063 #print axioms KomorebiPaperIX.WindowPeriod.uniform_standard_window_period
1064 #print axioms KomorebiPaperIX.Zigzag.cos_constant
1065 #print axioms KomorebiPaperIX.Zigzag.cosine_sign_expansion
1066 #print axioms KomorebiPaperIX.Zigzag.derivative_cos
1067 #print axioms KomorebiPaperIX.Zigzag.derivative_sec
1068 #print axioms KomorebiPaperIX.Zigzag.derivative_sin
1069 #print axioms KomorebiPaperIX.Zigzag.derivative_tan
1070 #print axioms KomorebiPaperIX.Zigzag.inverse_is_signed_zigzag
1071 #print axioms KomorebiPaperIX.Zigzag.odd_zigzag_coefficient
1072 #print axioms KomorebiPaperIX.Zigzag.secSeries
1073 #print axioms KomorebiPaperIX.Zigzag.sec_cos
1074 #print axioms KomorebiPaperIX.Zigzag.secant_odd_coeff
1075 #print axioms KomorebiPaperIX.Zigzag.secant_sign_expansion
1076 #print axioms KomorebiPaperIX.Zigzag.secant_square_even_coeff
1077 #print axioms KomorebiPaperIX.Zigzag.sech_expansion
1078 #print axioms KomorebiPaperIX.Zigzag.sin_constant
1079 #print axioms KomorebiPaperIX.Zigzag.sin_square_add_cos_square
1080 #print axioms KomorebiPaperIX.Zigzag.tanSeries
1081 #print axioms KomorebiPaperIX.Zigzag.zigzag

Back to source controls