# Enjoys Math

 19m comment Explain 1 step for linear function $C$?Do you mean "Why does it hold for the second inequality"? Since the second inequality, $y \lt 0$, is part of a sufficient condition not a consequence. Jul 22 comment Formal construction of $\mathbb Q$: interpretation and equality of elements@NicolasLykkeIversen Made mistake, please see bolded. Jul 22 comment Formal construction of $\mathbb Q$: interpretation and equality of elements$1 - 0.\bar{9} = 0.00000\dots000\dots$ (you never get to $\dots0001.$). Jul 20 revised Formal construction of $\mathbb Q$: interpretation and equality of elementsadded 1331 characters in body Jul 20 answered Formal construction of $\mathbb Q$: interpretation and equality of elements Jul 20 answered How to denote a set of nested tuples? Jul 20 comment Is there something that studies equivalent forms of writing and expression?There's clearly not a finite number of polybnomial expressions for $x^2 + 1$ as you stipulated no "form" and you could simply $\pm$ anything you want. On the other hand if you try restricting yourself to not allow $\pm$ of other expressions, then you won't be able to search for the "optimal" expression (one that when computed directly as the parentheses say, results in the smallest number of calculator ops), as some things can be reduced only when things are $\pm$'d in, in the sense that if you completely expanded the expression into a sum of monomials, then there's redundancy, can't win... Jul 17 comment Biholomorphic, HypersurfaceDo you mean a topological hypersurface or algebro-geometric hypersurface (en.wikipedia.org/wiki/Hypersurface)? Jul 17 comment Prove or disprove: if a set of 2d-points have symmetry axises, then at least one of the axises is eigenvectorWhat do you mean by "group"? Do you mean set? Jul 15 comment Origin of Laplace TransformRequires more information to answer by a larger number of people. For example, $a : X \to Y$ is a map, what are $X$ and $Y$ in the above? What variable are you summing over? Write $t=0$ below the sum symbol. Define $a(t)$ as well. Jul 15 comment How Can I prove that this module is isomorphic to the generators with relations...What is $N = \sum_g g$ ? You gave no set of summation over. Jul 11 comment Two definitions for a smooth curve equal.What do you mean by $\gamma'(t) \neq 0$, I'm not seeing what that would indicate if it were false. Jul 9 asked What's a method of finding when a repititious multi-dimensional function repeats when clamped? Jul 8 comment What is wrong in my proof that 90 = 95? Or is it correct?If you scroll through the post really fast, it looks like an animation. Jul 7 comment Product of Connected Spaces (2)@ArthurFischer are you related to Daniel Fischer? Jul 7 comment If an integral domain $R$ has a factorization basis, is it a UFD?What does $R/\simeq$ form? Jul 4 comment Surjective Homomorphism $D_{12}$Is $D_{12}$ the symmetries of a regular hexagon? Jul 4 answered can fractions be done on a regular caculator? Jul 2 awarded Popular Question Jul 2 awarded Curious