@Jonas: a question for you

@tb Thanks!

@tb I got this...

But to be more accurate, I don't.

huh?

I actually knew the answer to that once. :-)

One could just answer: Right.

@tb he is simply jealous

@AsafKaragila sorry, once = ones?

Nope. Once = once.

Once upon a time there was a Koenig that knew some answers to non-set theory stuff. He forgot them in time, and now he got no sound on his linux. The end.

Not a fairy tale that kids'll like...

it depends, it depends

Screw the kids.

That's not legal in most countries...

what does it mean, btw?

I meant with a screw driver, mount them on the door and stuff.

ok

Well, that too...

You might need some nine inch screws for that, though :P

(Okay, we've carried the joke too far... ;) )

Hm. What's taking him (Jonas) so long?

he never comes to a lunch, what can you expect

Is it just me or is there a huge inflation of starred messages?

@Gortaur Probably he fell asleep...

Yeah, which explains how three people got the Outspoken badge ;-)

maybe, it's SO sleepy here

@tb dots matter? )

@Gortaur I'm always dotting my i's, unless I'm writing in Turkish

@tb I'm messing with Mercurial. I will type up an answer in a few minutes.

@tb or you're using inclusions

@Gortaur: When I have to put hats on my i's or j's, I don't use the ones with dots...

But then I'm writing iotas, not i's...

(i.e. \imath and \jmath)

@tb that's probably just because TeX is restrictive in typing i without a dot

dot my i!

Dot my ı

sounds like curse

dot my |

!

That's not an ı, that's an |

nonsense

one more cigar

and home, sweet home

The pipe is a different thing from the dotless i. ;)

salmon at the dinner

smoked?

me - yes

salmon - no

I hate fish.

:DDDD

Why do you not like fish?

@Gortaur: remember that one?

I have a sense of taste... :-)

@tb yeah ) but from that album I mostly love Welcome to the Machine

Well, if all you eat is catfish for instance, you have a point in complaining about blandness...

oh! great, I will go, smoke a cigar and play some Pink Floyd on the grand piano

Floyd on the piano. Excellent. Enjoy!

Sounds like a great idea. Maybe a whisky to go along?

Oh no, you drink Cognac, I forgot.

@tb I don't allowed to drink it in my university

Snobbier than whiskey. :D

@JM to be honest, my first cigar was a present to me for a nice play

I couldn't afford them that time

Then all the more! At least you're not the only one enjoying, if you're a good pianist indeed.

I'm to shy to agree )

see ya

@JM he rejects that idea

my meditation is coming

@Gortaur: have fun!

@tb prepare. The Russian Has Come

OMG IT"S THE SAURON

@tb thank you

and the mean square

@AlexeiAverchenko haha, so I'm more scary

nice, nice

i'll have to pull something evil on my ohn

Alexei, can that girl there slay monsters by any chance?

ghm-ghm

use your aggressive feelings, boy

let he hate flow through you!

she can create them in her sleep

On the other hand, melancholy is a monster of sorts...

that anime is great btw, on par with higurashi and madoka

@Alexei: I remember a thread where some user was wondering if there is something NSFW is going on on your gravatar :)

(the thread is deleted now)

something what? :)

where, on meta?

oh, btw

"The dual of the flabby is the bar" - really? :D

tss

James A. Schafer, The Dual of the Flabby is the Bar

A certain MO thread comes to mind...

google.com/…

got it

Yeah.

i understand it were 60s, but come on!

@JM: you're starting to seriously annoy me, you know :DDD

always better links, quicker, and whatever :s

are these things still called a flabby and a bar?

flabby resolutions, bar resolutions, sure

WHY?

@t.b. I ain't even tryin' to compete! :D

come on! rub it in! that only makes it worse!

I can't win...

@AlexeiAverchenko You know the answer: BECAUSE!

almost as good as the classic: www-math.mit.edu/~ptingley/lecturenotes/Kauffman_vs_sl2.pdf

(more seriously, if you could think of a better name, maybe you can use that in your papers.)

i don't mean disrespect by any means, no sir :)

That article I know is already in that MO thread... :)

@Alexei: It's from history (group cohomology). People used to use the standard simplicial models of EG and BG used to write [g_0|...|g_n] for the simplices of one of them to distinguish them from those of the other. That's why bar resolution.

@tb I have posted an answer to that question. It might be unnecessarily complex.

Clarkson?

@Jonas: that's the standard argument.

Yes, but maybe it is easier in this particular case.

(on [0,1]).

Ah, you mean that you can exploit an inclusion of Lp into L^q and play the trick that works for L^2? Dont think so.

Yes, I was wondering if that was possible...

i think i'll actually post this article in that MO thread

This is it for me today. I need to hit the sack. Later!

i don't have anywhere lower to sink in terms of rep there :)

bye

@JM Later!

awww, that thread is closed now :(

@Alexei: tough luck. The flabby stuff comes from sheaves by the way. You have all sorts of sheaves flabby, soft, etc.

But the stuff is now encompassed in the theory of monads (=triples)

See Weibel, Ch. 8, for example.

Great. Two correct answers today.

@Jonas: I am not even sure if the converse was a part of the question, but you are probably right about the level of detail needed.

Oh, that other part seemed easier, so I skipped it.

But that was the part the OP was asking about, at least it seemed to me.

Oh. Oh well.

ash nazg trum pum pum

I err on the side of more detail. If the reader were doing well reading Stein, they wouldn't need help at all. Seeing as they needed help, I don't know how much help they might need. They could only get to the formula for a_n, so... :-)

@Gortaur Need a Black Speech refresher?

ash nazg gimbatul, or something like that

dark lord had dinner. dark lord is sleepy

quotes don't work on multiple lines :-(

It is getting on in the evening there.

It is just past noon here.

I'm from phone, so unfortunately i`m a bad dark lord to talk to

oppp

the emoticon of a cyclope with three tongues

I'll remember to stay clear.

don't want to be licked with three tongues by someone with no depth perception.

8-)

no way. he is my pet

I'm reading about vanile.... girls

the love to drink coffee, staring at rain and thinking about him

Here's a problem... I am missing /dev/dsp altogether!!! :\

moi also loves staring at rain, but I don't like coffee anymore. I'm not vanile nuff

Oh, if you don't use OSS then you don't need those... I'm still boned :\

@Asaf think about the life and the sky. it rains somewhere now

@AsafKaragila I don't have /dev/dsp either. What is it supposed to be for?

Are you on linux? What distro? Which sound system are you using?

Ah, I am on Unix.

@AsafKaragila sudo touch /dev/dsp.

@Jonas: ALSA doesn't use /dev/dsp so there shouldn't be one.

Easy analysis is easy.

By definition it is.

As in: analysis is by definition easy or easy analysis is by definition easy?

Latter.

@JackSchmidt Sorry I was thinking right, the map is R[x] -> C that sends f(x) -> f(i). If one says that kernel is the ideal generated by the polynomial (x-i), that would not be right for i is not a real number. However if one says that it is generated by (x^2 + 1), then I think this would be right.

@robjohn Did you have something to ask me about?

@BenjaminLim: yup, exactly

I think that the proof that (x² + 1) is the kernel is straight forward, clearly x^2 + 1 is in the kernel

(so far so good)

However say I wanted to show the reverse inclusion

we evaluate a polynomial at i

Ok, suppose g were to be any other polynomial in the kernel

By the division algorithm we can write g = pq + r, where p = x^2 + 1, q some polynomial in R[x] and 0 \leq deg r \leq 1

If deg r = 0 we are done, otherwise since g is in the kernel and p is in it too, pq would be too for the kernel is an ideal

so g - pq = r is in the kernel too

viz if r ax + b, a(i) + b = 0

equating real and imaginary parts gives a = b = 0

so g is a multiple of the polynomial p, hence g \in (x^2 + 1)

@BenjaminLim You had asked a question earlier, and did not reply to someone who asked you about it. I did not see you had left, and so I called out. :-)

But you seem to have gotten everything straightened away.

Thanks, anyway that question was not correctly posed, I have reposed it again and am chatting with this person now.

Yeah I woke up this morning saying this is how you do it

@BenjaminLim: yup, exactly. that is the proof.

@JackSchmidt Thanks.

I may have to leave now, I shall return in a few hours, thanks for your guidance.

Yeah, Jack! :-)

no problem

Okay it works.

@AsafKaragila good :-) What works?

The sound.

Ah. Now music can soothe you?

Yeah. Or I can watch funny youtube stuff.

Very good. That is very important.

Yeah.

What is the lowest positive integer multiple of 7 that is also a power of 2?

and they say that the quality of questions is not what it used to be...

2^{-\infty} of course.

0?

oops, they did say positive integer multiple.

7. They said integer multiple of 7, but they didn't say integer power of 2. :)

Nice.

@anon yes.

I don't get why the "Can I use my powers for good?" question got 150 votes...

"not good" is finance instead of military is a neat reflection on the times

@robjohn who says that?

hi all

It was sort of a rhetorical question, intended to mean the previous question was lower quality.

I think I'll go get me some beer.

Salutations!

Oh boy, how I am not waiting for the semester to begin :\

Didn't it start already?

We start on Sunday.

Cool.

@rob: How was the "axiom of choice lecture" last night?

Greetings all. @t.b.: Wanted to follow up on our meta discussion about the integration-related tags. Do you know if "integration" is supposed to be the "indefinite-integration" tag corresponding to the "definite-integration" tag, as per Bill's suggestion?

Howdy Mike.

Hey, Asaf. Per your question above... the "Can I use my powers for good?" question went viral. It was listed for a while on the "hot questions" list for the entire SE network, and so a lot of people who don't normally use math.SE read it, upvoted it, and chimed in.

@AsafKaragila You mean the jazz concert?

Yeah, that lecture about the axiom of choice... :P

@Mike: I don't know, the description for integral is Questions on the evaluation of definite and indefinite integrals and the one for integration is All aspects of integration, including the definition of the integral and computing indefinite integrals (antiderivatives).

It was very good. It was more of a big band sort of thing, with some jazz influences.

Big bands??

So it doesn't seem like Bill's suggestion was implemented completely

Did you take the time machine to 1947?

@AsafKaragila yes, that is exactly what we did :p

Good thing you did not assassinate Stalin and Goedel while you were at it.

@t.b.: Yeah, I read that, too, which didn't help me much. I was wondering if you remembered some discussion on meta about the introduction of those two tags? I'm also wondering if "definite-integration" and "integration" are to "integral" what "abstract-algebra" and "algebra-precalculus" are to "algebra."

I was tempted.

If I ever have a time machine, I am going back 10 minutes before having the time machine and killing my "younger" self.

That way I will trap the universe in a paradox-loop lasting only a few short minutes! Muhahaha.

In other words, maybe some critical subset of the community really wants the "integral" tag to be split into the other two, but there are too many questions already tagged "integral" for that to be feasible at this point.

And @robjohn: What's up with the new logo image? :)

It's the mean square

Any relation to the root mean square?

they are cousins

once or twice removed.

The root mean square is a tough sysadmin!

I really don't know. I linked to the threads I can remember at the moment but I didn't read them thoroughly. Anyway, I agree with you that it is a bit of a mess, and the tagging system's design doesn't allow for easy organization of the tags retroactively, mostly because the higher ups are so strongly opposed to a hierarchical system that would allow such specializations to be implemented. Also, we can't retag without bumping, so it is likely to stay that way.

but he spends all his time playing sudo ku

As a sysadmin should!

I don't know how strongly the community feels about this matter.

But probably your last message sums the situation up. I don't feel strongly in either direction.

If no one cares enough to change, leave it be.

@t.b.: Thanks for your thoughts. I think you're right. The tag system is such a mess in places. Well, I'll wait to see if anyone else comments on my post about the integration tags, and then I'll decide if I want to try to improve things. A lot of people don't read the "Tag Merging and Synonyms" question anymore, though, I think; there are just already too many answers to it.

+1 on that last comment.

@robjohn: Yeah, there's that, too.

@Mike: I think Willie should remember because he was involved in that thread. So I'd wait until he finds the time to comment on your suggestion on meta but he seems pretty busy recently. I didn't answer to your query there because I don't have much to say.

Good night guys!

@Jonas: good night

@JonasTeuwen have a good night!

@Srivatsan: in case you want to follow up on your literature question, I'd have time now.

I'm bored. Someone bring up the axiom of choice :P

Interesting how that {0,1} 1+1=0 question developed. From -3 it has -1 and so on.

@Asaf: Apparently some people are of the opinion that good answers do make a good question...

who cares about the question? upvote my answers ;-)

I actually thought about deleting my answer, but then it got accepted :P

Not that I complain about that, but I think I can improve that answer. I'll give it a few days before revising it.

@t.b.: I think sometimes people upvote the question to signal to people on the main page that there's an answer worth reading there.

Since the main page only shows upvotes on the question.

@Mike: Interesting. That idea never occurred to me.

@Mike: almost put you to 16000

@t.b.: I only say that because several times I've seen questions get zero or only a few upvotes at first - but then after someone posted a nice answer people started upvoting the question.

@robjohn: Thanks! Maybe I should drop into chat more often! ;)-

@Mike: that observation was precisely my motivation for my comment to Asaf.

@MikeSpivey It had nothing to do with the chat, actually. I was just looking at some old answers and saw yours and that it needed another upvote.

@JM: good morning!

Howdy J.M.

Of course, if the question weren't asked, the answer wouldn't have been given. Sometimes the inspiration for a good answer deserves a reward.

@robjohn: Actually, I was over 16K earlier today, but then I requested that an incorrect but old (over a year) answer be deleted, and that dropped me back below 16K. Whatever the reason for the upvote, thanks. :)

Even if the question doesn't really change the answer. It's a social thing.

Good morning to you two, t.b. and Asaf.

@t.b.: Well, I may have drawn a wrong conclusion from our mutual observation, but there it is.

@J.M.: Good morning, as well.

Although it's late afternoon here.

@JM good morning to you!

Hey, Mike and Rob. :)

we be coasting... west coasting.

Yay, Pacific time zone! :)

where it's 4:40 PM

I hate AM/PM.

just over a week of PDT

then back to PST on Nov 6

(-7) to (-8)

16 people in the chatroom! WOW

@tb The integral tag was a tag I created when I asked one of my first questions here. I'm alright if it is indeed felt that a split into the definite and indefinite sorts is needed, but I'm not actively campaigning for a split either.

@robjohn That has to be a record...

@MikeSpivey that was a long time ago, I was even more newbie than I am now.

long time for me, at least.

@robjohn: The other thing that did was that now "combinatorics" is tied with "probability" for the tag that I have the most upvotes in. For about a year "probability" was my highest upvoted tag.

@Mike: It would be very intersting to know more about the reasons why people vote. There seem to be so many different motivations/thoughts that go into this, and often enough they seem to interfere. I thought about opening a meta thread on that several times already, but I always hesitated for fear of the outcome.

@Mike: Mine is by far calculus, but I had thought I had answered more questions in other topics. I guess it is about how things are tied together and what multiple tags are there.

@t.b.: There have been some discussions on meta, I think - mostly around complaints about good answers to technical questions not getting enough upvotes and clever answers to easy questions getting too many. It might be interesting to see what such a meta question would produce - although it might be scary, too. :)

@robjohn Don't vote to him. I am trying to gain on him in terms of reputation, help me instead! :-D

Does real-analysis tie to calculus in any way?

The likelihood of being both scary and interesting is high, I feel. :)

@robjohn As a tag, or the actual subject?

Ah, never mind. I was misreading Mike's message.

@JM thanks for that info. The discussion was sparked by Mike's latest entry on the tag merging/synonyms thread.

@Asaf: What you should do is convince your friends to sign up and post questions on the axiom of choice. Since I have zero chance of answering them, you'll start outpacing me more and more. :-D

I have to get ready to go out to the Griffith Observatory tonight. Feed the dog, walk the dog and then drive out there.

Oh, I haven't checked meta yet. Main has a long queue of questions... :)

So I'll see you when I get back. :-)

@MikeSpivey I can hardly convince my friends to sign up. They also tend to ask me in person and since Israelis usually talk with their entire body it's easier to explain in real life instead.

Also, most of the folks around here don't really care about AC issues.

@Asaf, I have some bad news for you...

"talk with their entire body" - how do you describe infinite sets with your entire body? :)

;-D

@robjohn ZF is inconsistent? D:

@JM You do this thing with your arms.

@robjohn: Griffith Observatory... my wife has been meaning to take me there for 10 years now (her parents live in LA), but it was closed for a while. I'm sure I'll make it some day.

Later, dudes!

Later!

WAAAIIITTT

@robjohn: Later!

Later!

What bad news doth thou bringeth?

Here's a thread that should probably be closed.

@MikeSpivey It is very much improved. Definitely come to see it.

@Asaf: You could stand a little suspense in your life... ;)

Also, most of the folks around here don't really care about AC issues.

@JM I'm not sure about that. :P

@robjohn Oh, that's not bad news. That's good news. This is why I have no real competition in my research :P

I was going to say some thing about the "around here" part :-p

lol

gotta scoot... BBL

friendsoftheobservatory.com/events.php?eventid=45

Ciao.

So... anyone here got research grants he needs to spend and don't know what he could use the money for?

"research grants" - "party money"? ;)

No, rather the other way around :)

I want to go to some conferences but no one can fund me. I'm looking for an academic sugardaddy since my advisor cannot be one.

@JM: Asaf wants to go to an operator theory conference [sic!]

:|

Find somebody to pimp your research...

How I wish it was that easy.