« first day (1335 days earlier)      last day (3984 days later) » 

18:06
Hello.
how do we calculate the modulus in case of decimal numbers?
@Sohaib Absolute value of decimals?
Just the same way you'd do it for any.
@ParthKohli Say (-1/2)mod23
what should be the answer to this?
@Sohaib |-1/2| 23?
whats up
It's a negative number.
You just make the sign positive.
18:08
@ParthKohli Im talking of modulus division sorry. As in computer science.
Ah. I see.
It is equivalent to 22.5
@ParthKohli okay
william stalling seems to disagree :P
@ParthKohli In his book i=on cryptography he calculates (-1/2)mod23 as 11
*on
Hmm, I've confused the CS mod with the math mod.
OK then.
@ParthKohli I didnt understand how the answer came out to be 11.
I Googled what mod is.
A result of Euclidean division.
18:15
@ParthKohli Okay?
@Sohaib I don't get why it's 11 either.
But thanks for telling me about the mod operator.
@ParthKohli No prob :)
@Sohaib An integer $k$ such that $(-2)\cdot k \equiv 1 \pmod{23}$.
What do you mean by $?
@Sohaib hmm, seems like you do not have ChatJax installed
18:20
Ohh nope.
he just means an integer k such that (-2) * k is equivalent to 1 (mod 23)
which is 11.
Oh, I got it. Thanks.
Thanks got it.
@DanielFischer Daniel.
@PedroTamaroff Pedro.
18:24
@DanielFischer handshake
r9m
r9m
@DanielFischer hi :) ..
I wanted to show localization at prime ideals gives a local ring, @DanielFischer.
@PedroTamaroff What stopped you?
@Sohaib can you now see the latex rendered in a readable form?
@DanielFischer Well, take an ideal $\hat{\mathfrak a}$ in $A_{\mathfrak p}=S^{-1}A$. I want to show we can write it as $S^{-1}\mathfrak a$ for any ideal $\mathfrak a$ in $A$ contained in $\mathfrak p$.
r9m
r9m
18:28
@DanielFischer can you please explain why an entire function $f$ which is algebraic over $\mathbb{C}(x)$, has no essential singularities ?
@PedroTamaroff Wouldn't it be easier to show that $S^{-1}A\setminus S^{-1}\mathfrak{p}$ consists only of units?
@DanielFischer Yes, that's trivially true. =P
Cool.
@PedroTamaroff So $S^{-1}\mathfrak{p}$ is the unique maximal ideal, case closed?
@DanielFischer Yes.
@r9m Let me think a bit about the proof.
18:33
@DanielFischer Don't we have a correspondence of ideals $\mathfrak a\leftrightarrow S^{-1}\mathfrak a$? I am not entirely sure.
@r9m Okay, Casorati-Weierstraß does the trick. Suppose $$\sum_{k=0}^n a_k(z)f(z)^k \equiv 0.$$
@PedroTamaroff There's some correspondence, but I guess you need to see what happens if $S\cap \mathfrak{a}\neq\varnothing$, that may have an influence. I don't remember the details, never did much algebra.
@DanielFischer Right, right.
I'll read about it and see.
@r9m where the $a_k$ are holomorphic in a neighbourhood of $z_0$. If $f$ had an essential singularity in $z_0$, for any $w \in \mathbb{C}$, there would be a sequence $z_\nu\to z_0$ such that $f(z_\nu) \to w$.
Then it follows that $$\sum_{k=0}^n a_k(z_0)w^k = 0.$$
Thus you must have $a_k(z_0) = 0$ for all $k$.
But, unless all $a_k \equiv 0$ (which must of course be excluded), you can divide the relation by $(z-z_0)^m$, where $m$ is the minimal order of the zeros of the $a_k$ in $z_0$.
18:48
@BalarkaSen: I would offer to make you an avatar like PK and SK's avatars, but it might not turn out well ;-)
r9m
r9m
@DanielFischer Thank you very much !! :D
@robjohn Are you kidding me?
@BalarkaSen well, a big BS in a square might send the wrong message.
3
Who starred? You fool.
@BalarkaSen COME AT ME BRO.
18:51
@robjohn Well, there's already a person here with a B. S. in his username.
That's just out of the box
@robjohn :-))))))))
@Chris'ssis That's a lot of chins.
18:52
@Chris'ssis It matches PK and SK avatars
@robjohn I see. :-)
@DanielFischer DIABETUS
@DanielFischer :-)
@robjohn By the way, i just finished a brilliant proof you need to see ...
@Chris'ssis I was thinking then we would know you by your avatar, at least :-)
@robjohn :D
18:55
@Chris'ssis Did you see this question? I know you've been into multiple integrals recently.
@PedroTamaroff How's that sport called?
@Sawarnik Mandelbrot's Island?
@robjohn wow, it looks so nice!
@DanielFischer Bikecross?
18:56
@robjohn yes, I saw it for the first time!
@PedroTamaroff Hmm, I thought the jump into the lake was the essential part.
@Chris'ssis I don't like the accepted answer since it uses $\int_{-\infty}^\infty e^{2\pi ix\xi}\,\mathrm{d}x=\delta(\xi)$
@robjohn agree
Aaaaarrrrrrrrrrrrrrrrrrggggggggggggggggghhhhhhhhhhhhhhhhhh
She should be very, very glad that lake is there....
18:59
@DanielFischer ?
@robjohn You approach seems to be the natural approach in these cases.
@robjohn I have an incompatibility with abuses of integral notation like $\int_{-\infty}^\infty e^{2\pi ix\xi}\,dx = \delta(\xi)$. It physically hurts.
@DanielFischer I think so, too. I know that physicists like it (I hear).
@DanielFischer unfortunately, people are free to accept whatever they like :-)
@robjohn Yes, unfortunately I have little hope for that abuse to abate.
@DanielFischer You could head up the abuse abatement department...
Or AAD for those with ADD and dyslexia...
19:04
Heh, I don't have dyslexia.
@DanielFischer I had this period of time when I wrote "abeliando" instead of "abeliano".
'twas weird.
It was not on purpose,of course.
@PedroTamaroff does the former actually mean anything?
Abeling, I'd think, @robjohn
Almost. The "-ando" sufix is like the "-ing" here,.
An abeling group ...
19:07
@DanielFischer Right.
But it was mere coincidence.
@PedroTamaroff ah, then similar to Latin in that (gerundive)
@robjohn Yes, we call it "gerundio".
I call it Geronimo.
@PedroTamaroff for my generals at Princeton I had to read some passages in German and French. I had had German in college, but I had had no French, but I chose it since I had had Latin, and French being a Romance language, I was able to pull it off.
@PedroTamaroff there is a lot of Spanish spoken around here, so I pick a little bit up once in a while.
@robjohn Yeah, we sometimes speak a bit too much with the folks. =D
19:14
Inner product!!!!!!
Now that's a model question title
@DanielFischer Whaaaaaaaaaaaaata?
@PedroTamaroff here
@Matt - That seems like what I'm looking for! Unfortunately I have to step away for a few hours—I'll verify when I get back. Please feel free to move your comment to an answer in the meantime :-)
r9m
r9m
@DanielFischer I managed it without using essential singularity .. :)
my idea is $f(z)^n + \sum\limits_{k=0}^{n-1} a_k(z)f(z)^k = 0$, where $a_k(z) = \frac{p_k(z)}{q_k(z)} \in \mathbb{C}(x)$
I divide it with $z^{nN}$, where $N > max_k (deg (p_k))$
Then writing $F(z)=\frac{f(z)}{z^N}$, the expression becomes $F(z)^n + \sum\limits_{k=0}^{n-1} \frac{a_k(z)}{z^{N(n-k)}}F(z)^k = 0$
Now, since $\lim\limits_{z \to \infty} \frac{a_k(z)}{z^{N(n-k)}} = 0$, we can get a $R>0$ such that for all $|z| >R$ we have $|\frac{a_k(z)}{z^{N(n-k)}}| < 1$.
our prof didn't teach us essential singularities yet .. its a homework problem .. so I cannot use essential singularities .. I'll be grateful if you check if I went wrong anywhere .. :)
19:33
@robjohn How many unicoins you have? :p
@Sawarnik unicoins? are those hoises with a hoin?
12
@robjohn Maybe yes.
@r9m Yes, that works.
r9m
r9m
yay !! .. thank you :D @Daniel
@DanielFischer absolutely no latex, either
19:40
@robjohn Can't say I'm surprised. Was the question any good apart from that?
@robjohn I find myself confused whether I should study something elementary but deep or something advanced. For eg, I am interested in geometric inequalities and Calc II at the same time. What should I do?
@DanielFischer It depends on whether the inner product is changed because the coordinates are mushed in the $y$-direction (changing the angle) or just because they felt like using a non-standard inner product
:14581637
That is something that you need to choose. I can give you my preferences, but they may not work for you.
@robjohn Like?
19:46
@Sawarnik I'd look into both, and when I get stuck on something in one, I can look at the other
r9m
r9m
@robjohn aha .. ;) :P
19:58
Watch out for unicorns. They like to steal people's organs.
@JessyCat Actually, other unicorn's organs.
Limits, Limits everywhere
$$
\lim_{x \to \infty} \left(x-\ln \left( x+1 \right) -\sqrt {{x}^{2}-1}+\ln \left( x+\sqrt {{x}^
{2}-1} \right) \right) = \log 2
$$
$5$
Straange
Guys, I need your help with launching new stack exchange inittiative for data scientists! it will be awesome: goo.gl/1kbL4F
$$
\lim_{x \to \infty} \left( x - \log (x+1) - \sqrt{ x^2 - 1 } + \log \left( x + \sqrt{x^2-1}\right) \right) = \log 2
$$
@N3buchadnezzar That is not too difficult
20:09
Please spend less than a minute to commit to a project, it would be a huge help for stack exchange community of Data Scientists: goo.gl/1kbL4F
@N3buchadnezzar This one is for kids.
@Chris'ssis Headwork
The non logarithmic terms cancels each other. And one can combine the log terms and move the lim inside the log =)
@N3buchadnezzar You might also try this one (mentally)
$$\lim_{n\to\infty} \left(x-x^2\log\left(\frac{x+1}{x}\right)\right)$$
@Chris'ssis What is $n$?
@DanielFischer a typo. It's $x$.
:D
20:22
@Chris'ssis Thought so.
@Chris'ssis 1 ?
@DanielFischer Correct.
Hey, @balpha. Oh, @AnnaLear too. What have we done to deserve that honour?
Shhh. Keep quiet and act normal
20:25
@DanielFischer I'm just here to shower this with a unistar.
@N3buchadnezzar I know them from MSO, they're cool.
dito
Very laudable ;)
Hi, got a statistics question: If dependent t-tests were in fact independent samples, would that increase or decrease the t-score? Thanks.
@stevetronix I prefer coffee tests.
20:28
@Chris'ssis that would be $$x-x^2\log\left(\frac{x+1}{x}\right)$$
@robjohn >^.^>
@PedroTamaroff If dependent espresso t-tests were in fact independent espresso samples, would that increase or decrease the t-score?
@Chris'ssis unless $n$ is related to $x$
@robjohn :-))))
@AnnaLear how did you even see that?
don't tell me it has migrated.
20:33
@robjohn @balpha pointed it out internally.
I searched chat for "unicoin"
@AnnaLear oh, no... they're watching our chat \0/
Ceiling employees are watching you chat.
@robjohn I don't get it.
@balpha ah, okay. I don't feel so paranoid.
20:34
=D
@AnnaLear Maybe your boss is watching you chatting.
@Sawarnik That's plausible.
Anyone got any info on this one? If dependent t-tests were in fact independent samples, would that increase or decrease the t-score? Thanks.
20:52
hola
@Mike hello
No hablo ingles.
@Mike ¿Cuales son las noticias?
I don't speak Spanish, either.
You're one strange motheryucker.
20:58
Alors, on ne va parler qu'en français ici.
Morning, Ted.
Bonjour professor.
Morning? Where are we?
Bonjour, M le skull.
Salve, @Theodorus.
Salve, @Danielus.
21:03
@TedShifrin Well you just show up. I suppose you're just waking up.
Um, no, I spent 2 hours being harassed by students in office hours after an hour of class ... in which we talked about partitions of unity and half the proof of Stokes's Theorem.
But, the good news is I'm leaving in a few minutes to go meet friends for dinner.
Since I'm being stupid and can't off the top of my head solve some guy's sheaves/analysis on Riemann surface theory question, I suppose it's just as well.
Maybe @Daniel knows this off the top of his head(s) ... See this.
@TedShifrin Do you remember this? The continuation made me laugh.
Oh yeah, I remember. We should have this person banned :P
Of course, the OP never responded to my actual answer. :(
@Pedro: Did you talk to your CA prof about that ideal/dimension question?
@TedShifrin Not off the top of my head.
Yeah, I know the feeling. I've taught the answer to his question. Sigh. OK ... outta here for now.
21:21
@TedShifrin No, we haven't met yet.
Next class is tomorrow.
@DanielFischer what do you keep on top of your head?
@robjohn Hair. For the time being at least.
Ave.
@Mike Maria.
@Mike Blvd.
21:35
@robjohn St.
Caesar. Morituri te salutant. Sheesh.
@robjohn I found a mind-blowing way to compute this limit (with high school knowledge in one line) $$\lim_{n\to\infty} \int_0^{2\pi} \cos(x) \cos(2x)...\cos(nx) \ dx$$
I think it was given on some Putnam contest.
@DanielFischer What was the way to show that if $A$ is infinite, $A\simeq A\smallsetminus F$ for any finite subsete?
@PedroTamaroff Let $F = \{ a_0,\dotsc, a_k\}$ and choose distinct $a_{n} \in A\setminus F$ for $n > k$. I think you can guess how it continues.
@DanielFischer 16 days too late?
21:49
@robjohn Julian Calendar.
@DanielFischer Ah. Good point.
@DanielFischer Not really.
I already have a trivial injection $A-F\hookrightarrow A$.
So I want either a surjection $A-F\rightarrow A $ of an injection $A\to A-F$-
@PedroTamaroff $$f(x) = \begin{cases}a_{n+k+1} &, (\exists n)(x = a_n)\\ x &, \text{ otherwise}\end{cases}$$
Bijection $A \to A\setminus F$
@Daniel True to Caesar.
(I forgot most of my Latin lessons.)
22:01
@robjohn nice this question here math.stackexchange.com/questions/657398/…
$$\frac{(2n)!!}{(2n-1)!!}\cdot \frac{1}{(2n+1)(2n+3)}\le \frac{2\sqrt{n}}{(2n+1)(2n+3)}$$
Done.
Why do we believe that a ^ 0 = 1? Is this fact or assumption?
By definition, it's a fact.
@Grey What is $a^na^{-n}$?
Would it be a^n+(-n)
@Pedro Sorry about the formatting not familiar with Latex :(
So a^0
22:16
@Grey Right. So $a^0=1$ is convention so things work like we want them to.
Okay. So a^0 = 1, is so, because it satisfies a law of exponents. I think I understand.
@PedroTamaroff Thank you!
@Pedro I would have assumed $a^0$ is more fundamental, and that $a^{-1}$ was chosen as such to satisfy the product rule.
$a^0$ would come from $a^0a^n=a^{0+n}=a^n$.
@Mike Sure.
Dude.
I'm tempted to spend a couple of my unicoins: "Cut everyone's rep
Divide everybody's reputation (except your own) by ten."
What's a unicoin?
@Mike What is the song "Karma Police" about?
22:23
@PedroTamaroff No unicoin widget for you on the site?
Aprils fool
@skullpatrol Ah, right, it's still March for Pedro.
Indeed :-)
Wow, I bought colourful comments, and they come in turquois Comic sans, eerie.
@DanielFischer I don't have unicoins
What is that?
22:29
@PedroTamaroff You'll see when Midnight Oil comes.
@DanielFischer
When you say "choose"$a_{i+k}\in A-F$.
You're using the argument that "...since $A$ is infinite and $F$ is finite, there is $a_{k+1}$ distinct from all $a_i,i<k+1$, and so on..."
You're just saying that if we have an injection $\omega\to A$ we also have an injection $\omega\to A-F$.
22:42
@Daniel Yesss, comic sans.
@Mike Did you fudge your clock?
No, but I approve of its use.
We can fudge our clock?
So if I understand a ^ 0 = 1 correctly, they gave it a defined behavior so certain laws would be true?
Isn't April the second April fools?
22:44
Nope.
no
Unless you wanna be a double fool :-)
@grey laws that can be proved from the properties of real numbers.
I am talking about laws of exponents specifically.
22:50
So am I
@skullpatrol Okay, so how does the above explain why they gave a ^ 0 = 1 a defined behavior??
Exponents are just a convenient way of writing a specific type of product, right?
yes
@Mike $(\Bbb N,\leqslant)^{\rm op}\simeq (\Bbb Z_{\leqslant -1},\leqslant)$?
just invented the turtle group
22:56
@seaturtles Oh?
@PedroTamaroff yes
You were MIA.
@seaturtles What is that?
it was spring break
22:56
Because it was convenient @grey just like the notation
XD
@skullpatrol Okay now it makes sense. Thank you.
got through the season 4 finale of breaking bad. was excellent.
"You bought six numbers at your local hardware store. The numbers are 0, 1, 2, 3, 4, 5." Vot?
@seaturtles Good!
I feel for Jesse.
23:00
Thanks for asking @Grey :-)
@skullpatrol I will probably come here with more questions because I'm trying to wrap my head around time complexities for algorithms so I'm shoring up my knowledge of exponents.
Thanks again!
@robjohn I know you're a programmer and probably you know these things far better than me. Is it possible to find the real identity of a person that posts on a blog a lot of very bad things about hundreds of people? There is a person that created a whole mess and we try to find the real identity for a trial.
@seaturtles I have a question for yer brainz.
23:08
@Daniel Like mailbox numbers. You can buy those.
@robjohn that person does these things for more than 1 year and no one found a solution yet.
@seaturtles Prove that $(x,y)^2=(x^2,y^2,xy)$ cannot be generated by less than three elements in $k[x,y]$.
@Chris'ssis if you have your own website or access to ip logs on a website you could geolocate their neighborhood after phishing for their ip (by, say, emailing the blogger with a link to said site)
This can be generalized: $(x_1,\ldots,x_j)^n$ cannot be generated by less than $\displaystyle \binom{n+j-1}{j-1}$ elements in $k[x_1,\ldots,x_j]$.
23:11
*generated
hmm, I don't know that kind of comutative algebra
@seaturtles I see. Thanks.
but that binomial coefficient looks familiar. I think it counts subsets of a multiset or somesuch
@Pedro I wonder if you can weaken this to k a PID.
@Mike @FernandoMartin asked that.
I chose to ragequit.
@Chris'ssis note that what I just described is legal I believe
23:12
@seaturtles The idea is that $(x,y)^2/(x,y)^3\simeq k^3$.
Of course Z is nicer than just a PID.
@seaturtles OK
More generally, since there are that binomial homogeneous monomials of degree $n$, $\mathfrak a_j^n/\mathfrak a_j^{n+1}\simeq k^{\rm that \; binomial}$.
@Mike Should hold for all PIDs, you deal with free $k$-modules.
23:13
Bringing such evidence to trial is a lot harder.
@Daniel I think so too but I don't wat to trace the details.
@seaturtles And multiplying generators in $(x,y)^2$ by stuff in $k[x,y]$ just worries about the independent coefficients of the multiplicands.
So you get a well defined surjective homo $(x,y)^2\to k^3$ with kernel $(x,y)^3$.
Generalize.
@DanielFischer takes credit. =D
@Mike This problem is cute: suppose $A$ is a subset of positive reals such that $\sum (F)\leqslant C$ for any finite subset $F$ and some fixed constant $C$. Then $A$ is countable.
Note the converse is obviously false.
@FernandoMartin HAI.
@FernandoMartin It was good I called you today.
I want to know if there's a good way to test if a polynomial has a unique rupture field (equivalently, adjoining a single root yields a Galois extension). in particular with local number fields.
23:17
Yes, how far away are you from Ciudad?
btw, I have to be at Chacarita at 9.30 tomorrow
FML
@FernandoMartin Why?
The medical test
@FernandoMartin 30-45 minutes by car.
Depends on how heavy my foot is feeling.
@FernandoMartin Right.
23:19
It's really far from home and really far from uni too
I should be there by 11 I guess
Tomorrow's gonna be a loooong day
Well, I'm off to dinner, bbl
@PedroTamaroff wouldn't that further imply A is finite by bolzano-weierstrass?
@seaturtles I think it must be finite. Yes. Maybe it is a typo?
eh, I suppose it could have 0 as an accumulation point
@seaturtles Right, no.
Take $\{1/2^i,i=0,1,2,\ldots\}$.
23:22
@Pedro got it, cute.
@Mike Did you use contradiction?
No.
Contraposition?
I wrote it as a countable union of finite sets.
Oh, cool bananas.
Right.
Awesome. Very measure theoretic. =)
Right.
23:25
:)
@Chris'ssis asymptotically, the $2$ can be replaced by $\sqrt\pi$
@robjohn Yeap.
@Chris'ssis It depends on how many people you can convince or bribe to give you information.
@robjohn I see.
@DanielFischer by my count, the two calendars are 13 days apart. It should be March 18 by the Julian Calendar.
of course, the Julian day starts at noon... so I am not sure how that breaks.
23:38
@robjohn What are three days among friends?
@DanielFischer friends who stab each other? ;-)
If la raison d'etat demands it ...
the raisin of the state
@DanielFischer Suppose ${\rm Fin}(X)$ denotes the collection of finite subsets of $X$. Then $\#{\rm Fin}(X)\leqslant \#\bigcup_{n\geqslant 0}X^n$
23:47
Just sketching a proof that $\#{\rm Fin}(X)=\aleph_0$ if $\# X=\aleph_0$.
Okay. In that case you should maybe say why the set of $n$-element subsets of $X$ has cardinality $\leqslant \operatorname{card} X^n$.
@DanielFischer We have a surjection $(a_1,\ldots,a_n)\to\{a_1,\ldots,a_n\}$.
Don't tell me, I know that, and I know you know. But whoever reads the proof may not know the latter.
Yeah, count subsets of a given cardinality.
23:56
@Mike I think I am doing ugly with this one. Count the set of nondecreasing sequences of natural numbers.
I can do that real easy with the axiom of choice :P
I think this is cool.
Map $n_1\leqslant n_2\leqslant n_3\leqslant \cdots$ to $(n_1,n_2-n_1,n_3-n_2,\cdots)$.
This gives a surjection.
@Mike =D

« first day (1335 days earlier)      last day (3984 days later) »