« first day (2481 days earlier)      last day (928 days later) » 

1:47 AM
6
Q: Does a function that receives a function as a parameter can still be considered a pure function?

Jose Marinis addVat a pure function? function addVat(country, getVat, amount) { if(amount > 0) { return amount + getVat(country)*amount } return amount } Having a function as a parameter - getVat - makes addVat automatically impure? Depending on the implementation of getVat, we could int...

 
 
2 hours later…
3:45 AM
2
Q: Tensor product of antilinear maps.

user839372Let $X_1, X_2, Y_1, Y_2$ be $\mathbb{C}$-vector spaces and $f_1: X_1 \to Y_1$ and $f_2: X_2 \to Y_2$ conjugate-linear maps, i.e. $f_1(\alpha x_1) = \overline{\alpha} f_1(x_1)$ and $f_1(x_1 + x_1') = f_1(x_1) + f_1(x_1')$ and similarly for $f_2$. Question: Does there exist a unique conjugate linea...

 
4:32 AM
3
Q: Prove or disprove a claim regarding irrational numbers

Yuval CohenI am trying to prove the following claim: Let $ 0\leq n \in \Bbb Z$ and suppose that there exists a $k \in \Bbb Z$ such that $n=4k+3$. Prove or disprove: $\sqrt n \notin \Bbb Q$ . The problem I am having is that I am trying to assume by contradiction that $\sqrt n \in \Bbb Q$ and then I say t...

 
4:53 AM
0
Q: Google Mobile Ads (Admob) - Switching Between Test & Prod?

clamumI'm using the Google Mobile Ads (Admob) asset for my Unity mobile game to display a bottom banner ad during the gameplay. During development, I of course used test IDs for the banner ad as it is against their terms of service to use production ads while testing. However, I recently switched those...

 
 
2 hours later…
6:47 AM
2
Q: The real part of the period of an elliptic curve

chaadLet $E$ be an elliptic curve over $\mathbf{Q}$. Then we can base-change $E$ to $\mathbf{C}$ and apply the uniformization theorem to obtain: $$E(\mathbf{C}) \cong \mathbf{C}/(\mathbf{Z} + \mathbf{Z} \tau ) $$ for some complex number $\tau$ in the upper half plane. I've done a few numerical tests o...

 
 
9 hours later…
3:44 PM
3
Q: Why does the modulo nature of primes not prove that there are infinitely many twin primes?

Alonzo MuncyOk, so I'm not a mathy person in general. So when I think I've done something clever, it usually means I'm wrong or someone else has thought of this before me. I was playing around with the modulus operator on some numbers and it led to me looking at the modulos of twin primes. Ex. 17: 2/3 2/5 3/...

 
3:59 PM
2
Q: Reference request: probabilistic models on climate (change)

NeymarI am looking for probabilistic models to address climate change. Are they known in the existing literature? I have found the post Math behind climate modeling. concerning PDE models. Many thanks for the suggested references!

 
4:29 PM
0
Q: Import error _euclidean_distances from sklearn.metrics.pairwise

Robert GranatI am working with Orange 3.30.1 trying to use the Python Script widget to add SMOTE to my data classification problem (the Orange team has refrained from implementing it, and suggest this way instead: https://github.com/biolab/orange3/pull/3269). To be able to move on, I installed the imblearn li...

 
 
5 hours later…
9:29 PM
3
Q: Does the pointwise mean value property implies harmonicity?

Guy FsoneAssume $u:\Omega\subset\mathbb{R}^d\to\mathbb{R}$ is continuous and satisfies the property: for every $x\in \mathbb{\Omega}$ there is $r_x>0$ such that $$ u(x)=\frac{1}{|B(x,r_x)|}\int_{B(x,r_x)} u(y)dy,\hskip .1in\text{(Discrete Mean-value property).}\tag{1}$$ what can we say about the harmonici...

 
9:59 PM
1
Q: Possible values of "Kripke rank" for formulae in IPL

Jordan Mitchell BarrettFix a (countable) set $\mathcal{P}$ of atomic propositional variables. Recall a Kripke model $\mathcal{K}$ for intuitionistic propositional logic (IPL) consists of: A preorder $(W,\leq)$ For each $w \in W$, a (classical) valuation $\varphi_w\colon \mathcal{P} \to 2$ such that for all $w \leq v$...

 
 
2 hours later…
11:47 PM
3
Q: Open orbits under the action of an algebraic group

Thibault DécoppetLet $k$ be a field, $X$ an algebraic variety, and $G$ a smooth algebraic group, acting on $X$ via $(g,x)\mapsto g\cdot x$. Fixing $x$ in $X$ a $k$-point, there is a map $f_x:G\rightarrow X$ sending $g\mapsto g\cdot x$. Now, assuming that $df_x:T_eG\rightarrow T_xX$ is surjective, how can one show...

 

« first day (2481 days earlier)      last day (928 days later) »