« first day (2471 days earlier)      last day (932 days later) » 

2:05 AM
2
Q: Is there any example of a Lie algebra which is not a derivation algebra?

cos_dm_math21I'm just studying Lie algebras. If $A$ is a $k$-algebra (not necessarily Lie or associative, just a bilinear law), it is straightforward to check that any derivation algebra of $A$ is a Lie algebra. I suppose that the converse is not true, but I can't find a counterexample. Is there any example ...

 
 
3 hours later…
4:48 AM
7
Q: Reference in container?

MatI'm having an issue with passing a string as reference to a lambda, when it is in a container. I guess it disappears (goes out of scope) when I call the init() function, but why? And then, why doesn't it disappear when I just pass it as a string reference? #include <iostream> #include <string> s...

 
5:06 AM
5
Q: Continuous linear functionals and the Axiom of Choice

Ivan FeshchenkoCan one prove without the Axiom of Choice that for every normed vector space $X$ there exist a nonzero continuous linear functional on $X$?

 
 
10 hours later…
3:35 PM
2
Q: Family of PTIME sets where it is hard to name elements

sartrCall a function$$\mathbb{N}\times \mathbb{N}\to \{0, 1\}, \quad (n, m)\to f(n, m)$$computable in polynomial time in $\log n+\log m$ a PTIME family. Given a PTIME family $f$ call a computable function $g:\mathbb{N}\to \mathbb{N}$ such that $f(n, g(n))=1$ for all $n\in \mathbb{N}$ a solution of $f$...

 
 
2 hours later…
5:05 PM
2
Q: Group presentation in the category of finite group

hivertContext: I'm trying to deal with presentations in the framework of Gonthier et al. formalization of the group theory in the proof assistant Coq. It was used to machine check the Feit-Thompson odd order theorem. In this formalisation, all groups are assumed to be finite and it would be a lot of wo...

 
 
1 hour later…
6:23 PM
6
Q: Why is there a difference between `0--2//3` and ´--2//3´

Karl WilhelmI was figuring out how to do floor/ceiling operations without the math module. I solved this by using floor division //, and found out that the negative gives the ceiling. So this works: 3//2 == 1 -3//2 == -2 Obviously, I would like the answer to be positive, so first I tried --3//2, but this gi...

 
6:53 PM
2
Q: A toy model of heat death

Nate RiverMotivation: This is a toy model of how a closed system will always evolve towards the distribution of maximal entropy, where no further transfer of heat/energy is possible. Problem set up: Fix a positive integer $N$, and denote by $[N]$ the set $\{1, \dots, N\}$. Let $\mathcal L := [N] \times [N]...

 
0
Q: Error in py_call_impl(callable, dots\$args, dots\$keywords) - case similar to Leprechault but

stchlnI am facing an issue that I am not able to solve for hours... and I think I need some help. I am starting from an example Keras in R example that is working fine in my environment Then I am using basic script below that is always failing when calling fit() function and I am not able to figure out...

 
7:35 PM
8
Q: Why is `np.sum(range(N))` very slow?

fbenceI saw a video about speed of loops in python, where it was explained that doing sum(range(N)) is much faster than manually looping through range and adding the variables together, since the former runs in C due to built-in functions being used, while in the latter the summation is done in (slow) ...

 
 
2 hours later…
9:05 PM
9
Q: Lunch seminars for PhD students

aglearnerThe problem that I would like to ask about is metamathematical, but I hope the question is appropriate. I would like to know if there exist mathematical departments that run a regular seminar for all their PhD students both pure and applied. So that you have talks by PhD students ranging from geo...

 
 
2 hours later…
11:08 PM
12
Q: Swap Two Values in a List

Kevin CruijssenIntroduction: Although we have a lot of challenges where swapping two items in a list is a subtask, like Single swaps of an array; Swap to Sort an Array; \$n\$ swaps into a nop; etc., we don't have the simple challenge of just swapping two items given a list and two indices. Input: A list with so...

 
11:35 PM
5
Q: A quotient space of complex projective space

GiSLet $\mathbb{C}P^n$ be the $n$-dimensional complex projective space and denote $[z_0:\dots:z_n]$ its points. If we glue $[z_0:\dots:z_n]$ and $[\overline{z_0}:\dots:\overline{z_n}]$ for any $[z_0:\dots:z_n]\in\mathbb{C}P^n$, where $\overline{z}$ denotes the complex conjugation of $z$, then we obt...

 

« first day (2471 days earlier)      last day (932 days later) »