00:01:16 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
00:48:38 <esolangs> [[Eigenratio]] M https://esolangs.org/w/index.php?diff=104923&oldid=89006 * PythonshellDebugwindow * (+23) Category
01:05:48 -!- razetime has joined.
01:20:17 <esolangs> [[Brainfuck+10]] https://esolangs.org/w/index.php?diff=104924&oldid=104903 * Watermelyn * (+27)
02:10:28 -!- zzo38 has quit (Ping timeout: 265 seconds).
02:53:58 -!- Thedarkb-Desktop has quit (Ping timeout: 265 seconds).
03:10:51 -!- zzo38 has joined.
03:42:39 -!- sprout has quit (Read error: Connection reset by peer).
03:42:54 -!- sprout has joined.
04:05:35 -!- zzo38 has quit (Ping timeout: 264 seconds).
04:05:52 <shachaf> Hmm, the simplex algorithm sure seems very similar to Gaussian elimination.
04:08:16 <int-e> sure, especially when you do it on an extended tableaux
04:09:07 <shachaf> Uh oh, I don't know what that is.
04:12:21 <shachaf> Ugh, so many things to learn.
04:12:44 <shachaf> Apparently this is what Gröbner bases are about too?
04:14:17 <int-e> Or is that called a full tableau? The one that has an identity matrix rather than labeling rows with basic variables
04:15:56 <shachaf> Is that similar to an augmented matrix thing?
04:16:27 <int-e> Gröbner bases have more of a gcd flavor to me. There's a connection (Bezout's identity can be turned into a linear combination of rows comprised of the coefficients of the polynomials, shifted... cf. resultants)
04:16:29 <shachaf> I thought with basic variables you still ended up having an identity matrix, though I didn't work through examples very much so maybe that's not maintained.
04:18:02 <int-e> the identity matrix can be completely implicit, but then the variable exchange step (swapping a basic variable and a non-basic one) loses some of its Gaussian elimination flavor.
04:25:16 <shachaf> Hmm, can phase 2 of the simplex method start with any feasible point, or does it need to be on a boundary of some sort?
04:25:51 -!- razetime has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
04:30:21 <int-e> I think you'll have a boundary point by force (simply by the presence of that identity matrix in the full tableau)
04:31:38 <shachaf> Oh, you mean a boundary point in the full problem when you add the slack variables, not in the original problem?
04:32:02 <shachaf> Hmm, does that sentence even make sense?
04:34:01 <shachaf> I should implement this so I know what's going on.
04:38:26 <int-e> The slack variables don't really change the set of feasible solutions... they embed it in a higher-dimensional space.
04:39:25 <int-e> For example, rather than x,y >= 0, x+y <= 1, you have x,y,z >= 0 and x+y+z = 1. Both sets are two-dimensional triangles.
04:39:51 <int-e> But one of them is embedded in R^3
04:41:08 <int-e> And the point of this is... the boundary is not affected by whether you take slack variables into account or not.
04:42:27 <int-e> Or... more abstractly... You can project the slack variables away (projecting from R^(n+m) to R^n), and that's a bijection because you can recompute the slack variables from the constraints.
04:43:57 <shachaf> So why do you end up with a boundary point by force?
04:45:27 <int-e> because you've set the maximum number of variables to 0... meaning that the solution touches the corresponding hyperplanes
04:46:51 <int-e> I mean, when you start with a *basic* feasible solution. Which you do if you reconstruct the solution from the tableau (setting the non-basic variables to 0)
05:16:06 <shachaf> Should I think of the variables in the dual linear program as corresponding the slack variables in the primal program, or is that going down the wrong path?
05:19:50 <int-e> I have not internalized the Farkas lemma.
05:36:22 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
05:36:35 -!- Lord_of_Life_ has joined.
05:37:49 <shachaf> What about when you start solving an LP problem directly in phase 2, when all constraints are nonnegative and you can pick the 0 vector as a starting point?
05:37:50 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
05:37:54 <shachaf> Presumably that's not on the boundary.
05:38:16 <shachaf> Or, hmm, maybe it is. Right.
07:38:27 -!- sprout has quit (Read error: Connection reset by peer).
07:39:11 -!- sprout has joined.
07:44:17 -!- tromp has joined.
09:22:41 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
10:40:13 -!- tromp has joined.
10:41:32 -!- Sgeo has quit (Read error: Connection reset by peer).
12:49:42 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
13:02:55 -!- razetime has joined.
13:17:28 -!- razetime has quit (Ping timeout: 265 seconds).
13:25:30 -!- razetime has joined.
13:33:25 -!- tromp has joined.
14:08:53 -!- impomatic has joined.
14:11:45 -!- impomatic has quit (Client Quit).
14:12:05 -!- impomatic has joined.
14:44:31 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
14:47:56 -!- tromp has joined.
14:55:44 -!- Thedarkb-Desktop has joined.
15:04:48 <esolangs> [[Brainfuckconsole74]] https://esolangs.org/w/index.php?diff=104925&oldid=104217 * Andor ch * (+269)
15:07:38 <esolangs> [[Brainfuckconsole74]] https://esolangs.org/w/index.php?diff=104926&oldid=104925 * Andor ch * (+260)
15:09:02 <esolangs> [[Special:Log/upload]] upload * Andor ch * uploaded "[[File:BrainfuckConsole running as a compilation on processing.png]]"
15:09:10 <esolangs> [[Brainfuckconsole74]] https://esolangs.org/w/index.php?diff=104928&oldid=104926 * Andor ch * (+74)
15:10:02 <esolangs> [[Brainfuckconsole74]] https://esolangs.org/w/index.php?diff=104929&oldid=104928 * Andor ch * (+91)
15:12:01 <esolangs> [[Special:Log/upload]] upload * Andor ch * uploaded "[[File:Swiss Alpine Racing.png]]"
15:12:07 <esolangs> [[Brainfuckconsole74]] https://esolangs.org/w/index.php?diff=104931&oldid=104929 * Andor ch * (+39)
15:31:21 -!- razetime has quit (Ping timeout: 268 seconds).
15:40:28 -!- razetime has joined.
15:53:34 -!- razetime_ has joined.
15:53:35 -!- razetime has quit (Ping timeout: 264 seconds).
16:34:02 <esolangs> [[Truth-machine]] https://esolangs.org/w/index.php?diff=104932&oldid=104871 * Watermelyn * (+31)
16:35:00 <esolangs> [[Brainfuck+10]] https://esolangs.org/w/index.php?diff=104933&oldid=104924 * Watermelyn * (+52)
16:37:44 -!- impomatic has quit (Quit: impomatic).
17:15:37 -!- razetime_ has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
17:21:08 -!- FreeFull has joined.
18:00:03 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:27:20 -!- tromp has joined.
18:53:41 -!- zzo38 has joined.
19:56:19 -!- Sgeo has joined.
20:18:05 -!- simcop2387 has quit (Read error: Connection reset by peer).
20:18:15 -!- simcop2387_ has joined.
20:19:33 -!- simcop2387_ has changed nick to simcop2387.
20:57:13 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:22:51 -!- tromp has joined.
21:55:42 -!- impomatic has joined.
21:59:10 -!- impomatic has quit (Client Quit).
21:59:32 -!- impomatic has joined.
22:04:23 -!- impomatic has quit (Ping timeout: 264 seconds).
22:11:33 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:14:34 -!- FreeFull has quit (Quit: Night).
22:39:04 <esolangs> [[Antgrid]] M https://esolangs.org/w/index.php?diff=104934&oldid=92203 * Nakilon * (+27) added category Unimplemented
22:39:25 <esolangs> [[Antgrid]] M https://esolangs.org/w/index.php?diff=104935&oldid=104934 * Nakilon * (+0)
23:27:20 <b_jonas> https://twitter.com/gro_tsen/status/1595411477065830400 (David Madore on the statement "a monad is a monoid in the category of endufunctors")
23:29:18 <shachaf> Yes, there are many monoidal structures you can put on that category, and people always leave that bit implicit.