text:
# Restricted quantifier

A quantifier applied to predicates not with respect to the whole range of a given object variable, but with respect to a part of it defined by a predicate \$R(x)\$. When used in this restricted sense, the universal quantifier \$(\forall x)\$ and the existential quantifier \$(\exists x)\$ are usually denoted by \$(\forall x)_R(x)\$ and \$(\exists x)_R(x)\$ (or \$\forall x\colon R(x)\$ and \$\exists x\colon R(x)\$, respectively). If \$P(x)\$ is a predicate, then \$(\forall x)_R(x)P(x)\$ means

\$\$\forall x(R(x)\supset P(x)),\$\$

that is, the predicate \$P(x)\$ is true for all values of the variable \$x\$ satisfying the predicate \$R(x)\$. The proposition \$(\exists x)_R(X)P(x)\$ means

\$\$\exists x(R(x)\&P(x)),\$\$

that is, the intersection of the truth domains of the predicates \$R(x)\$ and \$P(x)\$ is non-empty.

Restricted quantifiers of the form \$(\forall x)_{x<t}\$ and \$(\exists x)_{x<t}\$ (more commonly called bounded quantifiers) play an important role in formal arithmetic (cf. Arithmetic, formal), where \$t\$ is a term not containing \$x\$. When these quantifiers are applied to a decidable predicate, the result is a decidable predicate.

How to Cite This Entry:
Restricted quantifier. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Restricted_quantifier&oldid=33093
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article

format: plain


text:
# Numerical study of the Serre-Green-Naghdi equations and a fully dispersive counterpart

Abstract : We perform numerical experiments on the Serre-Green-Nagdi (SGN) equations and a fully dispersive Whitham-Green-Naghdi'' (WGN) counterpart in dimension 1. In particular, solitary wave solutions of the WGN equations are constructed and their stability, along with the explicit ones of the SGN equations, is studied. Additionally, the onset of dispersive shock waves and the possibility of a blow-up of the solutions in various situations is investigated. We argue that a simple numerical scheme based on a Fourier spectral method combined with the Krylov subspace iterative technique GMRES to address the elliptic problem and a fourth order explicit Runge-Kutta scheme in time allows to address efficiently even computationally challenging problems.
Keywords :
Document type :
Preprints, Working Papers, ...

https://hal.archives-ouvertes.fr/hal-02617465
Contributor : Vincent Duchene <>
Submitted on : Tuesday, May 26, 2020 - 1:59:51 PM
Last modification on : Monday, July 6, 2020 - 3:38:13 PM

### Files

fdSGNart-hal.pdf
Files produced by the author(s)

### Identifiers

• HAL Id : hal-02617465, version 1
• ARXIV : 2005.13234

### Citation

Vincent Duchêne, Christian Klein. Numerical study of the Serre-Green-Naghdi equations and a fully dispersive counterpart. 2020. ⟨hal-02617465⟩

Record views


text:
# Find an explicit formula for this n-sum problem

• I
bernd
TL;DR Summary
Find simplified expression of multiple sums with almost same borders and depending on one given constant. Also nice looking equal-length pyramide if visualized.
Hello,
I am having trouble with deriving an explicit formula (if one exists) for S(a,n) such that for example
$$S(a,5) = \sum_{i5=a}^{49} \sum_{i4=i5}^{49} \sum_{i3=i4}^{49} \sum_{i2=i3}^{49} \sum_{i1=i2}^{49}(1)$$
or
$$S(a,4) = \sum_{i4=a}^{49} \sum_{i3=i4}^{49} \sum_{i2=i3}^{49} \sum_{i1=i2}^{49}(1)$$
so basically a is a given constant and I want a formula for this multi-sum-thingie here where the outermost border goes
a to 49 and each inner border goes from the next outer low border to 49.
well should be obvious what the pattern is if you just compare it.
And yeah, the actual part inside all the sums is literally just a 1. This whole thing comes in parts from a math lottery problem where I can draw 6 numbers from 1-49 (lottery 6 of 49, most popuplar one in germany) and I want to asign order numbers to all potential triples like (3,7,22) and such.

In the end, I would love a direct expression that just contains the number of sums in the expression. and the a which is the low border of the outmost sum.

I know, I can painstakingly try to solve this by hand.
but after simplifying the first 2 innermost sums, I would start to need some formulas for "the sum of the first n numbers ^3,^4,^5,etc.".
which to my knowledge, closed expressions for that exist only for ^2 and ^3 at most.

So I am at a loss here but hope that some smart people hear have some ideas.
On a sidenote try to mentally imagine this picture in the 3d realm:
we place a 1x1x1 unit long block right in the "corner" next to the origin.
3 of this cube's edges touch the 3 coordinate axis.
now along each of the 3 coordinate axis', place another 49-1 blocks in a straight line.
so that you have, including the startiung block, 49 blocks next to each other in eahc of the 3 axis directions.
now fill in blocks so the whole thing is like a 3 equally sided pyramide, tilted in a way so it's top is touching the origin and the 3 edges go along the coordinate axis.
and obviously we are in minecraft so the base of the pyramide due to the blocks sticking out isnt a flat surface but a spiky wasteland.
sorry if my explanation is... bad.

but jsut imagine each.
nyways for this weirdly rotated blocky pyramide the number of blocks in it actually are exactly S(1,3) from above, so the triple sum where the outermost sum goes from a=1 to 49.
if a=5, then the pyramide will have the (top touching) 3 sides of same length=49-5+1=45. so pyramide is simply smaller but same proportions.

if we had n=2 (instead of 3) we would be in 2d instead but the concept would be the same.
same for higher dimensional rooms (at least very likely) but obviously we cant visually imagine it.

but such nice symmetry, there must be some rule to it.

and literally while writing this , the "common denominator" hit me:
say we have a=1, so pyramide lengths=49 and have n=3, so 3d.
say we put a player inside the first (origin touching) block, right in the middle (at coordinates 0.5,0.5,0.5).
and the player can only move away from the origin, one blocks width per step.
a step can be done in any of the 3 directions parallel to the coordinate axis, lets call them up, right,forward.
so the player, by doing 0-48 steps, can reach a bunch of positions. how he gets there doesnt matter.
the total number of possible positions he can reach in a maximum of 48 steps (so including doing 0 steps and therefor also counting the start position), is exactly equal to the number of blocks and therefor also S(1,3).

staying in the 3d world for a=1 and n=3, we are basically asking:
if we write a "step sequence" like (steps up, steps right, steps forward) , how many different configurations can we find where the sum of all steps<=48?
so doing 0 steps: (0,0,0)
doing 1 step: (1,0,0) or (0,1,0) or (0,0,1)
doing 2 steps: ...

if we change n from 3 to 4, we talk about 4-tupel instead.
and if a=5 instead of 1, the max step condition changes to
steps<=49-5=44

Now if only we can find some way to calculate the number of n-tuples where the sum of each tuple's components <=49-a, we have won.
cause that's precisely S(a,n).
If I am not completely wrong and this is all utter nonsense so far :-)

Mentor
Why not write a python program to compute it using a recursion function?

Factorials are done that way. fact(5) = 5* fact(4) = 5 * 4 * fact(3)

Homework Helper
Gold Member
1. You need another parameter for your numbers, which is the 49. So instead write S(a, n, m) where m is the number that goes where your 49s are. So all your formulas are for numbers of type S(a, n, 49)

2. You don't need a, because S(a, n, m) = S(1, n, m - a + 1), so that in your case your formulas will give the same result if you replace 49 by (50 - a) and then replace a by 1. Try it and see!
So we can simplify our notation to S(r, m) where n is still the number of nested summations, r is the upper limit of each summation and 1 goes where a was.

3. Having done that, we can now recognise S(r, n) as the r-th simplicial n-dimensional polytopic number, which you can read all about here.
And yes, it has an explicit formula for each one, which you can read at that link.

berkeman, DrClaude and PeroK
bernd
1. You need another parameter for your numbers, which is the 49. So instead write S(a, n, m) where m is the number that goes where your 49s are. So all your formulas are for numbers of type S(a, n, 49)

2. You don't need a, because S(a, n, m) = S(1, n, m - a + 1), so that in your case your formulas will give the same result if you replace 49 by (50 - a) and then replace a by 1. Try it and see!
So we can simplify our notation to S(r, m) where n is still the number of nested summations, r is the upper limit of each summation and 1 goes where a was.

3. Having done that, we can now recognise S(r, n) as the r-th simplicial n-dimensional polytopic number, which you can read all about here.
And yes, it has an explicit formula for each one, which you can read at that link.
1. I can follow.
2. I will jsut accept it even though it "seems sus" to me that youc an basically let the outermost border go from 1 to (50-a) insted of a to 49 like before. But I'll just accept it for the moment.
after that, I am kind of lost.
S(r,m) still depends on n even though you havent listed it as a parameter anymore?
"r is the upper limit of each summation"
not sure what you mean there?
like, the outermost sum now goes from 1 to 50-a. and the inner ones from (outer variable) to a.
or did you mean to transform all sum borders?
3. I don't need to mention that I havent even remotely ever heard of this type of numbers, right? :-)
will look through the link and try not to totally fail at understanding anything there :-)

PeroK
Gold Member
TL;DR Summary: Find simplified expression of multiple sums with almost same borders and depending on one given constant. Also nice looking equal-length pyramide if visualized.

Hello,
I am having trouble with deriving an explicit formula (if one exists) for S(a,n) such that for example
S(a,5)=∑i5=a49∑i4=i549∑i3=i449∑i2=i349∑i1=i249(1)
or
S(a,4)=∑i4=a49∑i3=i449∑i2=i349∑i1=i249(1)
so basically a is a given constant and I want a formula for this multi-sum-thingie here where the outermost border goes

Let me know whether I get you properly.
$$S(a,b;1):=\sum_{i=a}^b 1 = b-a+1$$
$$S(a,b;2):=\sum_{i=a}^b S(i,b;1) = \sum_{i=a}^b (b-i+1)$$$$=(b+1)(b-a+1) - \sum_{i=1}^b i + \sum_{i=1}^{a-1} i$$$$= (b+1)(b-a+1) - \frac{b(b+1)}{2} + \frac{(a-1)a}{2}$$
$$S(a,b;3):=\sum_{i=a}^b S(i,b;2)$$$$=(b+1)(\frac{b}{2}+1)\sum_{i=a}^b 1 -(b+\frac{3}{2})\sum_{i=a}^b i +\frac{1}{2}\sum_{i=a}^b i^2 =...$$
and so on.
Do I get you?

Last edited:
bernd
Let me know whether I get you properly.
$$S(a,b;1):=\sum_{i=a}^b 1 = b-a+1$$
$$S(a,b;2):=\sum_{i=a}^b S(i,b;1) = \sum_{i=a}^b (b-i+1)$$$$=(b+1)(b-a+1) - \sum_{i=1}^b i + \sum_{i=1}^{a-1} i$$$$= (b+1)(b-a+1) - \frac{b(b+1)}{2} + \frac{(a-1)a}{2}$$
$$S(a,b;3):=\sum_{i=a}^b S(i,b;2)$$$$=(b+1)(\frac{b}{2}+1)\sum_{i=a}^b 1 -(b+\frac{3}{2})\sum_{i=a}^b i +\frac{1}{2}\sum_{i=a}^b i^2 =...$$
and so on.
Do I get you?
Basically, yeah. Except in my case here, b is always 49.
but otherwise, you got the idea.
Haven't really checked your calculation there, just checked the basically recursive formula for S(a,b,n) that you described there.

Cant exactly followed how you did those calculations there.
but yeah, as you might have guessed, for like S(a,,n) with n=4 or bigger, you will inevitably coem face to face with having to solve a sum of cubed or higher potency numbers.
so 1^4+2^4+...+n^4 and such.
which might or might not even have an explicit formula.

not to mention that calculating each recursive step by hand until you reach S(a,b,n) is a huge PITA and super easy to make tiny mistakes that ruin everything :-/

Mentor
3. I don't need to mention that I havent even remotely ever heard of this type of numbers, right? :-)
will look through the link and try not to totally fail at understanding anything there :-)

Gold Member
Basically, yeah. Except in my case here, b is always 49.
but otherwise, you got the idea.
Haven't really checked your calculation there, just checked the basically recursive formula for S(a,b,n) that you described there.
I am glad to know that I have gotten you.

For integers ##0 <a \leq b, 0 \leq c##
$$S(a,b;c)=\sum_{i=a}^{b}S (i,b;c-1)$$ for ##1 \leq c## and
$$S (i,b;0)=1$$

The transformation
$$\sum_{i=a}^{b}=\sum_{i=1}^{b}-\sum_{i=1}^{a-1}$$ and the forlmula of sum,


text:
# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• am finally completing this table (previously at quark) to be !include-ed into relevant entries, for ease of cross-linking

• brief category:people-entry for hyperlinking references at flavor physics

• brief category:people-entry for hyperlinking references at massive type IIA supergravity

(didn’t find any webpage to point to regarding Romans; if anyone has a pointer, let’s add it)

• starting something

• renamed entry to fit more systematic naming pattern

• I have added at HomePage in the section Discussion a new sentence with a new link:

If you do contribute to the nLab, you are strongly encouraged to similarly drop a short note there about what you have done – or maybe just about what you plan to do or even what you would like others to do. See Welcome to the nForum (nlabmeta) for more information.

I had completly forgotton about that page Welcome to the nForum (nlabmeta). I re-doscivered it only after my recent related comment here.

• subdivided the Properties-section into subsections; added subsection for branched coverings of $n$-spheres

• A stub for M-theory. What’s supposed to be so mysterious about it? Is it that people don’t even know what form it would take?

• Page created, but author did not leave any comments.

• Page created, but author did not leave any comments.

• recently there were some questions about it here on the nForum: now there is an entry on the Kaluza-Klein mechanism

• added a bunch of references to M2-brane

• prodded by discussion here I finally gave this an entry, explaining what I propose is the right slogan:

swampland = cokernel of point-particle-limit-map

• The cut rule for linear logic used to be stated as

If $\Gamma \vdash A$ and $A \vdash \Delta$, then $\Gamma \vdash \Delta$.

I don’t think this is general enough, so I corrected it to

If $\Gamma \vdash A, \Phi$ and $\Psi,A \vdash \Delta$, then $\Psi,\Gamma \vdash \Delta,\Phi$.

• Corrected discussion of MLL and MILL, and removed redirects for MILL (those should go to linear logic.

• Added pointers concerning the suggestion that the observed Higgs mass is related to asymptotic safety.

• finally giving this a table-entry to be !includeed into relevant entries, for ease of hyperlinking

• I am working on the entry supergravity C-field. On the one hand I am in the process of adding in more on the DFM model. On the other I am describing how to reformulate aspects of this in terms of infinity-Chern-Weil theory (this with Domenico Fiorenza and Hisham Sati behind the scenes).

Not done yet, so beware.

• am finally giving this an entry of its own


text:
## Null-controllability properties of the wave equation with a second order memory term

Abstract: We study the internal controllability of a wave equation with memory in the principal part, defined on the one-dimensional torus $\mathbb{T}=\mathbb{R}/2\pi\mathbb{Z}$. We assume that the control is acting on an open subset $\omega(t)\subset\mathbb{T}$, which is moving with a constant velocity $c\in\mathbb{R}\setminus\{-1,0,1\}$. The main result of the paper shows that the equation is null controllable in a sufficiently large time $T$ and for initial data belonging to suitable Sobolev spaces. Its proof follows from a careful analysis of the spectrum associated to our problem and from the application of the classical moment method.

## Phase portrait control for 1D monostable and bistable reaction-diffusion equations

Pouchol C., Trélat E., Zuazua E. , DOI: 10.1088/1361-6544/aaf07e

Abstract: We consider the problem of controlling parabolic semilinear equations arising in population dynamics, either in finite time or infinite time. These are the monostable and bistable equations on (0,L) for a density of individuals 0≤y(t,x)≤1, with Dirichlet controls taking their values in [0,1]. We prove that the system can never be steered to extinction (steady state 0) or invasion (steady state 1) in finite time, but is asymptotically controllable to 1 independently of the size L, and to 0 if the length L of the interval domain is less than some threshold value L⋆, which can be computed from transcendental integrals. In the bistable case, controlling to the other homogeneous steady state 0<θ<1 is much more intricate. We rely on a staircase control strategy to prove that θ can be reached in finite time if and only if L < L⋆. The phase plane analysis of those equations is instrumental in the whole process. It allows us to read obstacles to controllability, compute the threshold value for domain size as well as design the path of steady states for the control strategy.

## Decay rates for elastic-thermoelastic star-shaped networks

Han Z., Zuazua E. Decay rates for elastic-thermoelastic star-shaped networks
Network and Heterogeneous Media September 2017, 12(3): 461-488. DOI: 10.3934/nhm.2017020

Abstract:
This work discusses the asymptotic behaviour of a transmission problem on star-shaped networks of interconnected elastic and thermoelastic rods. Elastic rods are undamped, of conservative nature, while the thermoelastic ones are damped by thermal effects. We analyse the overall decay rate depending of the number of purely elastic components entering on the system and the irrationality properties of its lengths.

First, a sufficient and necessary condition for the strong stability of the thermoelastic-elastic network is given. Then, the uniform exponential decay rate is proved by frequency domain analysis techniques when only one purely elastic undamped rod is present. When the network involves more than one purely elastic undamped rod the lack of exponential decay is proved and nearly sharp polynomial decay rates are deduced under suitable irrationality conditions on the lengths of the rods, based on Diophantine approximation arguments. More general slow decay rates are also derived. Finally, we present some numerical simulations supporting the analytical results.

## Controllability under positivity constraints of multi-d wave equations

Pighin, D., Zuazua, E. Controllability under positivity constraints of multi-d wave equations , DOI:

Abstract: We consider both the internal and boundary controllability problems for wave equations under non-negativity constraints on the controls. First, we prove the steady state controllability property with nonnegative controls for a general class of wave equations with time-independent coefficients. According to it, the system can be driven from a steady state generated by a strictly positive control to another, by means of nonnegative controls, when the time of control is long enough. Secondly, under the added assumption of conservation and coercivity of the energy, controllability is proved between states lying on two distinct trajectories. Our methods are described and developed in an abstract setting, to be applicable to a wide variety of control systems.

## Steady-state and periodic exponential turnpike property for optimal control problems in Hilbert spaces

Trélat E., Zhang C., and Zuazua E.
SIAM J. Control Optim. (2018), no. 2, 1222-1252. DOI: 10.1137/16M1097638

Abstract: In this work, we study the steady-state (or periodic) exponential turnpike property of optimal control problems in Hilbert spaces. The turnpike property, which is essentially due to the hyperbolic feature of the Hamiltonian system resulting from the Pontryagin maximum principle, reflects the fact that, in large control time horizons, the optimal state and control and adjoint state remain most of the time close to an optimal steady-state. A similar statement holds true as well when replacing an optimal steady-state by an optimal periodic trajectory. To establish the result, we design an appropriate dichotomy transformation, based on solutions of the algebraic Riccati and Lyapunov equations. We illustrate our results with examples including linear heat and wave equations with periodic tracking terms.

## Optimal shape design for 2D heat equations in large time

Trélat E., Zhang C., and Zuazua E. Pure and Applied Functional Analysis DOI:

Abstract: In this work, we study the steady-state (or periodic) exponential turnpike property of optimal control problems in Hilbert spaces. The turnpike property, which is essentially due to the hyperbolic feature of the Hamiltonian system resulting from the Pontryagin maximum principle, reflects the fact that, in large control time horizons, the optimal state and control and adjoint state remain most of the time close to an optimal steady-state. A similar statement holds true as well when replacing an optimal steady-state by an optimal periodic trajectory. To establish the result, we design an appropriate dichotomy transformation, based on solutions of the algebraic Riccati and Lyapunov equations. We illustrate our results with examples including linear heat and wave equations with periodic tracking terms.

## Minimal controllability time for finite-dimensional control systems under state constraints

Lohéac J., Trélat E., Zuazua, E.

DOI: 10.1016/j.automatica.2018.07.010

Abstract: We consider the controllability problem for finite-dimensional linear autonomous control systems, under state constraints but without imposing any control constraint. It is well known that, under the classical Kalman condition, in the absence of constraints on the state and the control, one can drive the system from any initial state to any final one in an arbitrarily small time. Furthermore, it is also well known that there is a positive minimal time in the presence of compact control constraints. We prove that, surprisingly, a positive minimal time may be required as well under state constraints, even if one does not impose any restriction on the control. This may even occur when the state constraints are unilateral, like the nonnegativity of some components of the state, for instance. Using the Brunovsky normal forms of controllable systems, we analyze this phenomenon in detail, that we illustrate by several examples. We discuss some extensions to nonlinear control systems and formulate some challenging open problems.

## Corrigendum and addendum to “Hierarchic control for a coupled parabolic system”

Hernández-Santamaría V., de Teresa L., Poznyak A. , DOI: 10.4171/PM/1998

Abstract: In [2] we used three controls for a system of two coupled parabolic equations. We defined three functionals to be minimized and a hierarchy on the controls obtaining from the optimality condition a system of six coupled equations. In order to prove the null controllability, by means of the leader control acting only on the first equation, we give a proof of a Carleman inequality (Proposition 6.4) that in fact is incorrect. In this corrigendum we slightly modify the followers functionals given by (3) page 118 [2] in such a way that for the corresponding hierarchic system a correct Carleman inequality can be proved. This modification allows to introduce a coefficient a12≠0 (a12 was zero in [2]).

## Insensitizing controls for a semilinear parabolic equation: a numerical approach

Hernández-Santamaría V., de Teresa L., Boyer, F. , DOI:

Abstract: In this paper, we study the insensitizing control problem in the discrete setting of finite-differences. We prove the existence of a control that insensitizes the norm of the observed solution of a 1-D semidiscrete parabolic equation. We derive a (relaxed) observability estimate that yields a controllability result for the cascade system arising in the insensitizing control formulation. Moreover, we deal with the problem of computing numerical approximations of insensitizing controls for the heat equation by using the Hilbert Uniqueness Method (HUM). We present various numerical illustrations.


text:
XP Math - Forums - View Single Post - Integration... I need answers quick
 View Single Post
 09-04-2007 #1 alternet87 Guest   Posts: n/a Integration... I need answers quick Hi, I have a test tomorrow and I need to be able to Evaluate these integrals step by step. 1. $\int\frac{e^sqrt{x}}{sqrt{x}}dx$ 2. $\int_{e}^{e^2}x^3ln(x)dx$ 3. $\int\frac{x^2}{sqrt{16-x^2}}dx$ 4. $\int\frac{2}{x^2+1}dx$ 5. $\int\frac{x-2}{x^2-1}dx$ 6. $\int\frac{x^2-1}{x-2}dx$ 7. $\int tan^-^1(x)dx$ 8. $\int sec^2(\theta)tan^2(\theta) d(\theta)$ thanks a lot, if you want you can email me the work and answers to alternet87@hotmail.com Last edited by Sillysidley; 09-04-2007 at 04:06 PM..


text:
# Math - Proving

1. Sep 9, 2005

### Meh

Prove that the square of an odd integer is always of the 8k + 1, where k is an integer. Any help would be appreciated.

2. Sep 9, 2005

### VietDao29

An even integer can be written as $$2n, \ n \in \mathbb{Z}$$
And an odd integer can be written as $$2n + 1, \ n \in \mathbb{Z}$$
For example : 5 = 2 * 2 + 1 (n = 2), 7 = 2 * 3 + 1 (n = 3), 13 = 2 * 6 + 1 (n = 6).
So the quare of an add integer can be written as: $$(2n + 1) ^ 2 = 4n ^ 2 + 4n + 1$$
You will try to arrange $4n ^ 2 + 4n + 1$ into 8k + 1. Since you have '+ 1' in both sides, in fact, you just need to arrange $4n ^ 2 + 4n$ into 8k.
Can you go from here?
Viet Dao,

Last edited: Sep 9, 2005
3. Sep 9, 2005

### Meh

Hmm what does that "Z" in "n belongs to ..." mean? Not to fimilar with that sign :P

4. Sep 9, 2005

### VietDao29

$Z$ is the set of all integers, ie: $\mathbb{Z} = \{..., \ -3, \ , -2, \ , -1, \ 0, \ 1, \ 2, \ 3, \ ... \}$
Do you get it now?
Viet Dao,

5. Sep 9, 2005

### Meh

Still don't get it >.< Sorry.

6. Sep 9, 2005

### VietDao29

$$n \in \mathbb{Z}$$ means that n is an integer.
And because:
$$\mathbb{Z} = \{..., \ -3, \ -2, \ -1, \ 0, \ 1, \ 2, \ 3, \ ... \}$$
So:
$$n \in \{..., \ -3, \ -2, \ -1, \ 0, \ 1, \ 2, \ 3, \ ... \}$$
That means n can take any value from that set, n can be -3, or -5, or 9, or 10, or 14, or 600, or -1004, ...
Viet Dao,

7. Sep 9, 2005

### Meh

I understood that, just not the how to solve >.<

8. Sep 9, 2005

### VietDao29

An odd integer: $$2n + 1, \ n \in \mathbb{Z}$$
So the square of an odd integer is: $$(2n + 1) ^ 2 = 4n ^ 2 + 4n + 1$$.
You are going to prove $$\forall n \in \mathbb{Z},\ \exists k \in \mathbb{Z} \ | \ 4n ^ 2 + 4n + 1 = 8k + 1$$
+ 1 is in both sides, so you are going to prove:
$$\forall n \in \mathbb{Z},\ \exists k \in \mathbb{Z} \ | \ 4n ^ 2 + 4n = 8k$$
Note that:
$4n ^ 2 + 4n = 4n(n + 1)$
What can you say about the product of two successive integers? ie : n * (n + 1).
Can you go from here?
Viet Dao,

9. Sep 10, 2005

### Meh

Ah, alrite I can go from there. Thanks Viet Dao.

10. Sep 10, 2005

### dracobook

hi, I'm wondering, isn't $$\forall k$$? cause k is stated to be an integer? just making sure..

11. Sep 10, 2005

### VietDao29

It can't be for all k, because:
k = 4:
8 * 4 + 1 = 32 + 1 = 33, and 33 is not a square of any integer.
k = 5:
8 * 5 + 1 = 40 + 1 = 41, and 41 is not a square of any integer.
Viet Dao,


text:
# Partitioning sets such that the sum of 2 elements is Prime

Given an $n >0$ is it possible to partition the set $\mathcal{P} = \{1,2, \cdots, 2n\}$ into $n$ pairs $(a_{i},b_{i})$ such that $a_{i} + b_{i}$ is a prime?

-
@Nuno: I have removed the set theory related tag altogether. –  Aryabhata Nov 23 '10 at 6:45
@Moron: I agree. I thought of removing the tag set-theory, but let it go. Thanks for the change. –  Nuno Nov 23 '10 at 12:09
Yes. The proof is by strong induction. The base case is obvious. By Bertrand's postulate there exists a prime $p$ between $2n+1$ and $4n$, so pick the pairs $\{ p-2n, 2n \}, \{ p-2n+1, 2n-1 \}, ...$ and so forth. Now it remains to pair up the numbers $\{ 1, 2, ... p-2n-1 \}$, which is possible by the inductive hypothesis.
I think the way you partitioned the set is a bit wrong. You can create the pairs ranging from $<p-2n,2n>...<p-n,n>$. The remaining subset yet to be partitioned is $\{p-(n-1),..,1\}$ which by induction you have the necessary partition. –  Ory Band Nov 22 '13 at 21:22


text:
## Site news -- pre 2010.

### testing jsMath

by Michael Gage -
Number of replies: 2

$\int x^2 dx$
$\int x^2 dx$

$$\int x^2 dx$$

$$\int x^2 dx$$

$\int x^2 dx$

### Re: testing jsMath

by Davide Cervone -
In-line: $\sum_{n=0}^\infty a_n$.

Display:
[dmath]\sum_{n=0}^\infty a_n[/dmath]

### Re: testing jsMath

by Michael Gage -
Thank you Davide. I had completely forgotten that we had changed the jsMath delimiters to $...$
For the record. Here is the final post of the discussion at:
http://webwork.maa.org/moodle/mod/forum/discuss.php?d=1414

As of last week, the jsMath delimiters are $...$ for inline math, and [dmath]...[/dmath] for display math. For example:

 Consider the expression $\int_0^\pi \frac{1}{x^2+1} \, ds$. Consider the following expression: [dmath]\int_0^\pi \frac{1}{x^2+1} \, ds[/dmath] Consider the expression $\int_0^\pi \frac{1}{x^2+1} \, ds$. Consider the expression: [dmath]\int_0^\pi \frac{1}{x^2+1} \, ds[/dmath]

To cause jsMath to ignore a $...$ or [dmath]...[/dmath] section, enclose the section in an HTML element with class tex2math_ignore. This can be a <div> or a <span> or whatever you like. jsMath always ignores delimiters that occur within <pre> tags.

(Edited by Michael Gage - original submission Monday, 23 April 2007, 11:31 AM)

(Edited by Davide Cervone - original submission Friday, 29 June 2007, 11:19 AM)


text:
# zbMATH — the first resource for mathematics

## Wang, Xiaofeng

Compute Distance To:
 Author ID: wang.xiaofeng.1 Published as: Wang, X.; Wang, X. F.; Wang, Xiao Feng; Wang, Xiao-Feng; Wang, Xiao-feng; Wang, XiaoFeng; Wang, Xiaofeng
 Documents Indexed: 287 Publications since 1987, including 2 Books
all top 5

#### Co-Authors

 11 single-authored 22 Xia, Jin 21 Cao, Guangfu 12 Zhang, Tie 8 Yao, Zhengan 6 Chen, Jianjun 6 Ma, Mingshu 6 Wang, Duo 4 Su, Jinshu 4 Wang, Shangping 4 Xu, Daoyun 4 Yang, Qingshan 4 Ye, Deping 4 Zhang, Cunquan 4 Zhang, Zujin 3 Dai, Weizhong 3 Du, Jixiang 3 Huang, Deshuang 3 Li, Jingna 3 Lin, Hanling 3 Qian, Weiyi 3 Shi, Dongyang 3 Wang, Long 3 Yuan, Hecai 3 Zhang, Taoye 2 Alonso, Juan Miguel 2 Bao, Xiaomin 2 Chen, Guoting 2 Chen, Qingjiang 2 Chen, Rongmao 2 Chen, Xiaojie 2 Fan, Xiaodong 2 Fan, Zhaozhi 2 Fang, Xiaoke 2 He, Li 2 Hu, Qiaolin 2 Li, Dingfang 2 Lin, Feng-Yan 2 Ma, Wenjuan 2 Man, Qing-Kui 2 Meng, Xiaofeng 2 Miao, Zhengke 2 Pride, Stephen J. 2 Qin, Bo 2 Qin, Yuping 2 Si, Shoukui 2 Sun, Jiayang 2 Tang, Yun 2 Tu, Zhihao 2 Wang, Bin 2 Wang, Bo 2 Wang, Guangxiong 2 Wang, Jianhui 2 Xie, Wanwen 2 Xu, Guangxia 2 Xu, Huan 2 Ye, Dong 2 Zhang, Qilin 2 Zhang, Yaling 2 Zheng, Chunhou 2 Zhu, Kehe 2 Zhu, Xuefeng 1 An, Bowen 1 Bai, Chunyang 1 Bai, Na 1 Bogie, Kath 1 Bogley, William A. 1 Burton, Robert M. jun. 1 Cao, Dan 1 Carr, Jessica Ann 1 Chang, Liang 1 Chen, Li 1 Chen, Shuhui 1 Chen, Zhenzhong 1 Deng, Huiwen 1 Deng, Li 1 Džunić, Jovana 1 Fang, Kuangnan 1 Faraway, Julian J. 1 Feng, Hui 1 Gao, Hongwei 1 Gao, Jia 1 Gao, Jun-Bo 1 Gu, Tianlong 1 Gu, Xiao 1 Ha, Minghu 1 Hao, Rongxia 1 He, Cheng 1 He, Wei 1 He, Yong 1 Heutte, Laurent 1 Hu, Bo 1 Hu, Kun 1 Huang, Darong 1 Jiang, Zhijie 1 Jiao, Hongwei 1 Jinshun, Feng 1 Kimes, Brandon 1 Leung, Ho-fung 1 Li, Bo 1 Li, Dianlin ...and 82 more Co-Authors
all top 5

#### Serials

 9 Journal of Guangzhou University. Natural Science Edition 8 Journal of Software 7 Chinese Quarterly Journal of Mathematics 5 Acta Mathematica Sinica. Chinese Series 4 Applied Mathematics and Computation 4 Journal of Computational and Applied Mathematics 4 Journal of Mathematics. Wuhan University 4 Acta Mathematica Sinica. English Series 4 Acta Mathematica Scientia. Series A. (Chinese Edition) 3 Advances in Mathematics 3 Numerical Algorithms 3 Abstract and Applied Analysis 3 Journal of Sichuan Normal University. Natural Science 3 Journal of Henan Normal University. Natural Science 3 Acta Mathematica Scientia. Series B. (English Edition) 3 Algorithms 2 Communications in Algebra 2 Computers & Mathematics with Applications 2 Discrete Mathematics 2 Chaos, Solitons and Fractals 2 Biometrical Journal 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Southeast Asian Bulletin of Mathematics 2 Journal of Sichuan University. Natural Science Edition 2 Mathematics in Practice and Theory 2 American Journal of Mathematical and Management Sciences 2 Northeastern Mathematical Journal 2 Acta Physica Sinica 2 Mathematica Applicata 2 Algebra Colloquium 2 Journal of Nonparametric Statistics 2 Journal of Group Theory 2 Control Theory & Applications 2 Journal of Shenzhen University. Science & Engineering 2 Journal of Computational Methods in Sciences and Engineering 2 Frontiers of Mathematics in China 2 Science China. Technological Sciences 1 Indian Journal of Pure & Applied Mathematics 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Physica A 1 Acta Mathematica Sinica 1 Calcolo 1 Canadian Mathematical Bulletin 1 Information Sciences 1 Integral Equations and Operator Theory 1 Journal of the American Statistical Association 1 Journal of Multivariate Analysis 1 Journal of Statistical Planning and Inference 1 The Quarterly Journal of Mathematics. Oxford Second Series 1 Semigroup Forum 1 Transactions of the American Mathematical Society 1 Journal of Operator Theory 1 European Journal of Combinatorics 1 Journal of Mathematical Research & Exposition 1 Acta Scientiarum Naturalium Universitatis Sunyatseni 1 Applied Mathematics and Mechanics. (English Edition) 1 Chinese Annals of Mathematics. Series B 1 Journal of Wuhan University. Natural Science Edition 1 Acta Automatica Sinica 1 Physica D 1 Journal of Beijing Normal University. Natural Science 1 Acta Mathematicae Applicatae Sinica. English Series 1 Graphs and Combinatorics 1 Mathematical and Computer Modelling 1 Science in China. Series A 1 Journal of Southwest Teachers University. Series B: Natural Science 1 The Journal of Geometric Analysis 1 International Journal of Computer Mathematics 1 Pattern Recognition 1 Computational Statistics and Data Analysis 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Computational and Applied Mathematics 1 Mathematical Communications 1 Informatica (Ljubljana) 1 Soft Computing 1 Comptes Rendus de l’Académie des Sciences. Série I. Mathématique 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Journal of Applied Statistics 1 Journal of Evolution Equations 1 Journal of Jilin University. Science Edition 1 Journal of University of Science and Technology of China 1 Journal of Hubei University. Natural Science Edition 1 Control and Decision 1 Journal of Henan University of Science and Technology. Natural Science 1 International Journal of Computational Methods 1 Discrete Optimization 1 Science in China. Series F 1 Lecture Notes in Computer Science 1 Acta Mechanica Sinica 1 Operators and Matrices 1 International Journal of Mathematics and Statistics 1 Journal of Computer Applications 1 Advances in Applied Mathematics and Mechanics 1 Science China. Mathematics 1 Journal of Combinatorics 1 Journal of Theoretical Biology 1 International Journal of Engineering Mathematics 1 Journal of Function Spaces 1 Chapman & Hall/CRC Computer Science & Data Analysis Series
all top 5

#### Fields

 42 Operator theory (47-XX) 42 Numerical analysis (65-XX) 25 Computer science (68-XX) 19 Partial differential equations (35-XX) 15 Group theory and generalizations (20-XX) 14 Statistics (62-XX) 14 Information and communication, circuits (94-XX) 8 Combinatorics (05-XX) 7 Several complex variables and analytic spaces (32-XX) 7 Dynamical systems and ergodic theory (37-XX) 7 Functional analysis (46-XX) 7 Biology and other natural sciences (92-XX) 6 Manifolds and cell complexes (57-XX) 5 Functions of a complex variable (30-XX) 5 Mechanics of deformable solids (74-XX) 5 Fluid mechanics (76-XX) 5 Systems theory; control (93-XX) 4 Potential theory (31-XX) 4 Ordinary differential equations (34-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 3 Mathematical logic and foundations (03-XX) 3 Number theory (11-XX) 3 Global analysis, analysis on manifolds (58-XX) 3 Probability theory and stochastic processes (60-XX) 3 Statistical mechanics, structure of matter (82-XX) 3 Operations research, mathematical programming (90-XX) 3 Game theory, economics, social and behavioral sciences (91-XX) 2 Quantum Theory (81-XX) 1 General mathematics (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 $K$-theory (19-XX) 1 Real functions (26-XX) 1 Approximation and expansions (41-XX) 1 Integral equations (45-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Relativity and gravitational theory (83-XX) 1 Astronomy and astrophysics (85-XX)


text:
• Browse all
Search for doubly charged Higgs boson production in multi-lepton final states with the ATLAS detector using proton-proton collisions at $\sqrt{s}$ = 13 TeV

The collaboration
No Journal Information, 2017

Abstract (data abstract)
A search for doubly-charged Higgs bosons with pairs of prompt, isolated, highly energetic leptons with the same electric charge is presented. The search uses proton-proton collision data at the center-of-mass energy of 13 TeV data sample corresponding to 36.1 $\mathrm{fb}^{-1}$ of integrated luminosity recorded in 2015 and 2016 by the ATLAS detector at the LHC. This analysis focuses on the decays $H^{\pm\pm}\to e^{\pm}e^{\pm}$, $H^{\pm\pm}\to e^{\pm}\mu^{\pm}$ and $H^{\pm\pm}\to \mu^{\pm}\mu^{\pm}$, fitting the dilepton mass spectra in several exclusive signal regions. No significant evidence of a signal was observed and corresponding limits on the production cross-section and consequently the lower limit on $m(H^{\pm \pm})$ were derived at $95\%$ confidence level. With $\ell={e,\mu}$, the observed lower limit on the mass of a doubly-charged Higgs only coupling to left-handed leptons varies from 770 GeV to 870 GeV (850 GeV expected) for $Br(H^{\pm\pm}\to \ell^{\pm}\ell^{\pm})=100\%$ and both the expected and observed mass limits are still above 450 GeV for $Br(H^{\pm\pm}\to \ell^{\pm}\ell^{\pm})=10\%$ for any combination of partial branching ratios.

• #### Table 1

Data from Figure 10a

10.17182/hepdata.80462.v1/t1

Observed and expected upper limit on the cross-section for $pp \to H^{++}H^{--}$ for a combination of partial branching ratios of...

• #### Table 2

Data from Figure 10b

10.17182/hepdata.80462.v1/t2

Observed and expected upper limit on the cross-section for $pp \to H^{++}H^{--}$ for a combination of partial branching ratios of...

• #### Table 3

Data from Figure 10c

10.17182/hepdata.80462.v1/t3

Observed and expected upper limit on the cross-section for $pp \to H^{++}H^{--}$ for a combination of partial branching ratios of...

• #### Table 4

Data from Figure 10d

10.17182/hepdata.80462.v1/t4

Observed and expected upper limit on the cross-section for $pp \to H^{++}H^{--}$ for a combination of partial branching ratios of...

• #### Table 5

Data from Figure 13a

10.17182/hepdata.80462.v1/t5

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass as a function of the branching ratio $B(H_{L}^{\pm\pm} \to e^{\pm}e^{\pm})$...

• #### Table 6

Data from Figure 13b

10.17182/hepdata.80462.v1/t6

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass as a function of the branching ratio $B(H_{L}^{\pm\pm} \to \mu^{\pm}\mu^{\pm})$...

• #### Table 7

Data from Figure 13c

10.17182/hepdata.80462.v1/t7

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass as a function of the branching ratio $B(H_{L}^{\pm\pm} \to e^{\pm}\mu^{\pm})$...

• #### Table 8

Data from Figure 13d

10.17182/hepdata.80462.v1/t8

Minimum observed and expected lower limit (among all partial branching ratio combinations) on the $H_{L}^{\pm\pm}$ boson mass as a function...

• #### Table 9

Data from Figure 14a

10.17182/hepdata.80462.v1/t9

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass as a function of the branching ratio $B(H_{R}^{\pm\pm} \to e^{\pm}e^{\pm})$...

• #### Table 10

Data from Figure 14b

10.17182/hepdata.80462.v1/t10

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass as a function of the branching ratio $B(H_{R}^{\pm\pm} \to \mu^{\pm}\mu^{\pm})$...

• #### Table 11

Data from Figure 14c

10.17182/hepdata.80462.v1/t11

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass as a function of the branching ratio $B(H_{R}^{\pm\pm} \to e^{\pm}\mu^{\pm})$...

• #### Table 12

Data from Figure 14d

10.17182/hepdata.80462.v1/t12

Minimum observed and expected lower limit (among all partial branching ratio combinations) on the $H_{R}^{\pm\pm}$ boson mass as a function...

• #### Table 13

Data from Figure 11 and Auxiliary Figures 1a and 1c

10.17182/hepdata.80462.v1/t13

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 100%.

• #### Table 14

Data from Figure 12 and Auxiliary Figures 1b and 1d

10.17182/hepdata.80462.v1/t14

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 100%.

• #### Table 15

Data from Auxiliary Figures 2a and 5a

10.17182/hepdata.80462.v1/t15

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 90%.

• #### Table 16

Data from Auxiliary Figures 2b and 5b

10.17182/hepdata.80462.v1/t16

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 90%.

• #### Table 17

Data from Auxiliary Figures 2c and 5c

10.17182/hepdata.80462.v1/t17

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 80%.

• #### Table 18

Data from Auxiliary Figures 2d and 5d

10.17182/hepdata.80462.v1/t18

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 80%.

• #### Table 19

Data from Auxiliary Figures 2e and 5e

10.17182/hepdata.80462.v1/t19

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 70%.

• #### Table 20

Data from Auxiliary Figures 2f and 5f

10.17182/hepdata.80462.v1/t20

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 70%.

• #### Table 21

Data from Auxiliary Figures 3a and 6a

10.17182/hepdata.80462.v1/t21

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 60%.

• #### Table 22

Data from Auxiliary Figures 3b and 6b

10.17182/hepdata.80462.v1/t22

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 60%.

• #### Table 23

Data from Auxiliary Figures 3c and 6c

10.17182/hepdata.80462.v1/t23

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 50%.

• #### Table 24

Data from Auxiliary Figures 3d and 6d

10.17182/hepdata.80462.v1/t24

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 50%.

• #### Table 25

Data from Auxiliary Figures 3e and 6e

10.17182/hepdata.80462.v1/t25

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 40%.

• #### Table 26

Data from Auxiliary Figures 3f and 6f

10.17182/hepdata.80462.v1/t26

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 40%.

• #### Table 27

Data from Auxiliary Figures 4a and 7a

10.17182/hepdata.80462.v1/t27

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 30%.

• #### Table 28

Data from Auxiliary Figures 4b and 7b

10.17182/hepdata.80462.v1/t28

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 30%.

• #### Table 29

Data from Auxiliary Figures 4c and 7c

10.17182/hepdata.80462.v1/t29

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 20%.

• #### Table 30

Data from Auxiliary Figures 4d and 7d

10.17182/hepdata.80462.v1/t30

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 20%.

• #### Table 31

Data from Auxiliary Figures 4e and 7e

10.17182/hepdata.80462.v1/t31

Observed and expected lower limit on the $H_{L}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 10%.

• #### Table 32

Data from Auxiliary Figures 4f and 7f

10.17182/hepdata.80462.v1/t32

Observed and expected lower limit on the $H_{R}^{\pm\pm}$ boson mass for all branching ratio combinations ($B(ee)$,$B(e\mu)$,$B(\mu\mu)$) that sum to 10%.


text:
Opened 2 years ago

Closed 2 years ago

# INSPIRE: Random outstanding LaTeX format issues

Reported by: Owned by: jblayloc jblayloc major *general* INSPIRE formats

### Description

authors should be written like foo, bar and baz rather than foo, bar, baz

major because users keep complaining about it

### comment:1 Changed 2 years ago by jblayloc

I've just deployed Mike's branches to -dev.

Jan, please double-check my integration; everything looks clean and kwalitee looks good to me on top of current inspire master, but I particularly want to be sure this integrates well with the formats work that Lewis and you have been doing lately. You can check out the cleaned, kwalitee-checked, squashed branch from my inspire github repo, branch '829-multiple_format_fixes-sul'.

Heath, please check that the following things look right:

• . added for pub-note/arxiv numbers in HTML Latex format: it should be there when it's supposed to be, but not when its not. (I'm afraid I'm not certain when that is. Mike?)
• multiple authors rendered as foo, bar and baz rather than foo, bar, baz in HTML Latex output: we've been hearing about this a lot lately so let's be sure.
• pub-notes produces multiple note outputs rather than just one. Multiple pub-notes stack vertically in the detailed format. Similarly there should be no blank line when there are no pubnotes. (See also #829)
• Journal title text added to Journal Server link on detailed record page. e.g., "Journal Server - Phys.Rev.Lett." or something like that.

If everything looks good to you Heath and you Jan, then I'm satisfied that it can be merged into inspire master and deployed to production.

### comment:2 Changed 2 years ago by jblayloc

• Status changed from new to in_merge

### comment:3 Changed 2 years ago by hoc

Hi Joe,

1. THere should be no [] around the eprint number (except the primarch part, e.g. [hep-ex]) when there is no journal publication note.

e.g. the first entry is correct, the second is not.
%\cite{} *I'll note here that there is nothing inside the {}, start putting the eprint number there*
\bibitem{}

R.~Longo and E.~Witten,
%An Algebraic Construction of Boundary Quantum Field Theory, Commun.\ Math.\ Phys.\ {\bf 303 } (2011) 213-232 [arXiv:1004.0616 [math-ph]].

%\cite{Witten:2009mh}
\bibitem{Witten:2009mh}

E.~Witten,
%Geometric Langlands And The Equations Of Nahm And Bogomolny, [arXiv:0905.4795 [hep-th]].

1. When there is no eprint or pub note, a report number or conference note should be used. Compare INSPIRE

%\cite{Witten:1979pi}
\bibitem{Witten:1979pi}

E.~Witten,
%The 1 / N Expansion In Atomic And Particle Physics,

with SPIRES
%\cite{Witten:1979pi}
\bibitem{Witten:1979pi}

E.~Witten,
%The 1 / N Expansion In Atomic And Particle Physics,
%%CITATION = HUTP-79/A078;%%

Wow! This is wrong in SPIRES too, ok we have a chance here to improve on SPIRES. It should say:
%\cite{Witten:1979pi}
\bibitem{Witten:1979pi}

E.~Witten,
%The 1 / N Expansion In Atomic And Particle Physics,
HUTP-79/A078.
%%CITATION = HUTP-79/A078;%%

Good job on the "foo, bar and baz" I think that's all perfect now. The construction of the journal notes looks great. There is one issue with volume letters. They typically go outside the \bf part (finnicky, I know). See SPIRES

%Static axisymmetric solution of the Einstein equations,
Phys.\ Rev.\ D {\bf 25} (1982) 1465.
%%CITATION = PHRVA,D25,1465;%%

vs INSPIRE
%\cite{Goswami:2004fx}
\bibitem{Goswami:2004fx}

R.~Goswami, P.~S.~Joshi, C.~Vaz and L.~Witten,
%A time-like naked singularity,

Phys.\ Rev.\ {\bf D70 } (2004) 084038 [gr-qc/0410041].

Are we going to put the %%CITATION back in now? How long would that take?

### comment:4 follow-ups: ↓ 6 ↓ 8 Changed 2 years ago by jblayloc

• Status changed from in_merge to assigned
1. THere should be no [] around the eprint number (except the primarch part, e.g. [hep-ex]) when >there is no journal publication note.

e.g. the first entry is correct, the second is not.
%\cite{} *I'll note here that there is nothing inside the {}, start putting the eprint number there*
\bibitem{}

R.~Longo and E.~Witten,
%An Algebraic Construction of Boundary Quantum Field Theory, Commun.\ Math.\ Phys.\ {\bf 303 } >(2011) 213-232 [arXiv:1004.0616 [math-ph]].

%\cite{Witten:2009mh}
\bibitem{Witten:2009mh}

E.~Witten,
%Geometric Langlands And The Equations Of Nahm And Bogomolny, [arXiv:0905.4795 [hep-th]].

So the second one should be written:
%\cite{Witten:2009mh}
\bibitem{Witten:2009mh}

E.~Witten,
%Geometric Langlands And The Equations Of Nahm And Bogomolny, arXiv:0905.4795 [hep-th].

??

### comment:5 Changed 2 years ago by jblayloc

• Keywords onDevPleaseReview removed
• Owner changed from sul to jblayloc

### comment:6 in reply to: ↑ 4 ; follow-up: ↓ 9 Changed 2 years ago by jblayloc

And also, how important is point #1? It's not apparent that there is a way to pass data between different format elements in the format system in something resembling a clean way, so having the arxiv output element know whether or not the pubnote element actually output anything is tricky and will take some thought.

### comment:7 follow-up: ↓ 10 Changed 2 years ago by jblayloc

• Summary changed from LaTeX format: author foo, bar and baz to INSPIRE: Random outstanding LaTeX format issues
1. When there is no eprint or pub note, a report number or conference note should be used. Compare >INSPIRE

%\cite{Witten:1979pi}
\bibitem{Witten:1979pi}

E.~Witten,
%The 1 / N Expansion In Atomic And Particle Physics,

with SPIRES
%\cite{Witten:1979pi}
\bibitem{Witten:1979pi}

E.~Witten,
%The 1 / N Expansion In Atomic And Particle Physics,
%%CITATION = HUTP-79/A078;%%

Wow! This is wrong in SPIRES too, ok we have a chance here to improve on SPIRES. It should say:
%\cite{Witten:1979pi}
\bibitem{Witten:1979pi}

E.~Witten,
%The 1 / N Expansion In Atomic And Particle Physics,
HUTP-79/A078.
%%CITATION = HUTP-79/A078;%%

Ok, so %%CITATION should fall back to report number, too. Do you know where the report number or conference number are stored? I think conference is in 773__w. I don't know about report number though. Having report number fallback should be reasonably easy; right now I think it's already falling back to 773__x.

There is one issue with volume letters. They typically go outside the \bf part >(finnicky, I know). See >SPIRES

%Static axisymmetric solution of the Einstein equations,
Phys.\ Rev.\ D {\bf 25} (1982) 1465.
%%CITATION = PHRVA,D25,1465;%%

vs INSPIRE
%\cite{Goswami:2004fx}
\bibitem{Goswami:2004fx}

R.~Goswami, P.~S.~Joshi, C.~Vaz and L.~Witten,
%A time-like naked singularity,

Phys.\ Rev.\ {\bf D70 } (2004) 084038 [gr-qc/0410041].

Ok. This is just because it's stored in the database as D70. We should be able to do a little light parsing to peel off the leading letters from the volume subfield and stick them on the end of the name. I can do this quickly.

Are we going to put the %%CITATION back in now? How long would that take?

I'm not sure how hard this is. It takes some thought. Perhaps a day? I'm going to start working on it wherever it falls in the priority queue with these other issues.

Could you please give me rough ordering of desirability for these issues:

• %% CITATION
• Fallback to report number
• volume letter outside {
bf}
• bracket placement on arxiv ref for missing pubnotes

I suspect %%CITATION is most important?

### comment:8 in reply to: ↑ 4 Changed 2 years ago by hoc

1. THere should be no [] around the eprint number (except the primarch part, e.g. [hep-ex]) when >there is no journal publication note.

e.g. the first entry is correct, the second is not.
%\cite{} *I'll note here that there is nothing inside the {}, start putting the eprint number there*
\bibitem{}

R.~Longo and E.~Witten,
%An Algebraic Construction of Boundary Quantum Field Theory, Commun.\ Math.\ Phys.\ {\bf 303 } >(2011) 213-232 [arXiv:1004.0616 [math-ph]].

%\cite{Witten:2009mh}
\bibitem{Witten:2009mh}

E.~Witten,
%Geometric Langlands And The Equations Of Nahm And Bogomolny, [arXiv:0905.4795 [hep-th]].

So the second one should be written:
%\cite{Witten:2009mh}
\bibitem{Witten:2009mh}

E.~Witten,
%Geometric Langlands And The Equations Of Nahm And Bogomolny, arXiv:0905.4795 [hep-th].

??

Yes, except something weird happened with the format. The author, title and whatever paper-code note should be on separate line:
E.~Witten,
%Geometric Langlands And The Equations Of Nahm And Bogomolny,
arXiv:0905.4795 [hep-th].

"%" is a comment to latex and it wipes out everything until the end of the line. So the title should be commented out because typically people don't want it but if they do, it's there for them.

### comment:9 in reply to: ↑ 6 Changed 2 years ago by hoc

And also, how important is point #1? It's not apparent that there is a way to pass data between different format elements in the format system in something resembling a clean way, so having the arxiv output element know whether or not the pubnote element actually output anything is tricky and will take some thought.

OK. I think in SPIRES what we did was create variables like $lbracket and$rbracket which were initialized as "" but got the values 'and?' if there was a pub note. Then the eprint was always written sandwiched between the variables. Don't know if this works in INSPIRE.

### comment:10 in reply to: ↑ 7 Changed 2 years ago by hoc

1. When there is no eprint or pub note, a report number or conference note should be used. Compare >INSPIRE

%\cite{Witten:1979pi}
\bibitem{Witten:1979pi}

E.~Witten,
%The 1 / N Expansion In Atomic And Particle Physics,

with SPIRES
%\cite{Witten:1979pi}
\bibitem{Witten:1979pi}

E.~Witten,
%The 1 / N Expansion In Atomic And Particle Physics,
%%CITATION = HUTP-79/A078;%%

Wow! This is wrong in SPIRES too, ok we have a chance here to improve on SPIRES. It should say:
%\cite{Witten:1979pi}
\bibitem{Witten:1979pi}

E.~Witten,
%The 1 / N Expansion In Atomic And Particle Physics,
HUTP-79/A078.
%%CITATION = HUTP-79/A078;%%

Ok, so %%CITATION should fall back to report number, too. Do you know where the report number or conference number are stored? I think conference is in 773__w. I don't know about report number though. Having report number fallback should be reasonably easy; right now I think it's already falling back to 773__x.

I think the report number is stored in 037__a, see http://inspirehep.net/record/143469/export/hm

There is one issue with volume letters. They typically go outside the \bf part >(finnicky, I know). See >SPIRES

%Static axisymmetric solution of the Einstein equations,
Phys.\ Rev.\ D {\bf 25} (1982) 1465.
%%CITATION = PHRVA,D25,1465;%%

vs INSPIRE
%\cite{Goswami:2004fx}
\bibitem{Goswami:2004fx}

R.~Goswami, P.~S.~Joshi, C.~Vaz and L.~Witten,
%A time-like naked singularity,

Phys.\ Rev.\ {\bf D70 } (2004) 084038 [gr-qc/0410041].

Ok. This is just because it's stored in the database as D70. We should be able to do a little light parsing to peel off the leading letters from the volume subfield and stick them on the end of the name. I can do this quickly.

Are we going to put the %%CITATION back in now? How long would that take?

I'm not sure how hard this is. It takes some thought. Perhaps a day? I'm going to start working on it wherever it falls in the priority queue with these other issues.

Could you please give me rough ordering of desirability for these issues:

• %% CITATION
• Fallback to report number
• volume letter outside {
bf}
• bracket placement on arxiv ref for missing pubnotes

I suspect %%CITATION is most important?

Yes. I'd probably move bracket up from 4 to number 2 position.

### comment:11 Changed 2 years ago by jblayloc

Ok, my branch 841-manifold_fixes from github has been deployed on DEV for review. Heath, please look over Latex (US) and Latex (EU) and see if they seem like they're up to snuff. The issues that I think this branch should address are:

• back button works properly when receding from detailed record pages
• %% CITATION is created
• When pubnote and arxiv numbers aren't available, things fall back to report numbers
• volume letter is outside of {
bf } for Latex formats
• arxiv tags only get square brackets if there is also a pubnote

Also the above items should still be true:

• . added for pub-note/arxiv numbers in HTML Latex format: it should be there when it's supposed to be, but not when its not
• multiple authors rendered as foo, bar and baz rather than foo, bar, baz in HTML Latex output
• pub-notes produces multiple note outputs rather than just one. Multiple pub-notes stack vertically in the detailed format. Similarly there should be no blank line when there are no pubnotes. (See also #829)
• Journal title text added to Journal Server link on detailed record page. e.g., "Journal Server - Phys.Rev.Lett." or something like that.

Jan, if you get a minute it would be nice if you could check to see how this integrates with the work Lewis and you have been doing.

### comment:12 Changed 2 years ago by hoc

Hi Joe,

Looks really good, we're almost there!

1. Bibitem{}/cite{} empty (should have arXiv number or something else if no arXiv number)

%\cite{}
\bibitem{}

R.~Longo and E.~Witten,
An Algebraic Construction of Boundary Quantum Field Theory,

Commun.\ Math.\ Phys.\ \ {\bf 303 }, 213-232(2011)
[arXiv:1004.0616 [math-ph]].

cf.

%\cite{Larkoski:2010am}
\bibitem{Larkoski:2010am}

A.~J.~Larkoski and M.~E.~Peskin,
Top Quark Amplitudes with an Anomalous Magnetic Moment,

Phys.\ Rev.\ D\ {\bf 83 }, 034012(2011)
[arXiv:1012.0552 [hep-ph]].
%%CITATION = PHRVA,D83,034012;%%

1. Above record with no bibitem also has no %%CITATION
1. Above record has open space before "}", e.g. "{\bf 83 }" should be "{\bf 83}"
1. Default for title should be to have a "%" in front, e.g. %Top Quark Amplitudes with an Anomalous Magnetic Moment, because people don't typically include the title but if they want it its then a simple regex to get it.
1. No space between the page number and the date AND don't want page ranges, only first page, e.g. "213-232(2011)" should be "213 (2011)"
1. Spaces around things inside square brackets are not wanted, e.g. \bibitem{Behnke:2007gj} T.~Behnke, (Ed.) {\it et al.} [ ILC Collaboration ], ILC Reference Design Report Volume 4 - Detectors, arXiv:0712.2356 [physics.ins-det]. %%CITATION = ARXIV:0712.2356;%%

"[ ILC Collaboration ]" should be "[ILC Collaboration]"

1. Records can get confused about %%CITATION, e.g.

%\cite{Witten:1993xi}
\bibitem{Witten:1993xi}

E.~Witten,
The Verlinde algebra and the cohomology of the Grassmannian,

In *Cambridge 1993, Geometry, topology, and physics* 357-422
[hep-th/9312104].
%%CITATION = .....;%%

Even though there's an eprint number, the system does not give a %%CITATION

The file I tested it on is at:
http://www.slac.stanford.edu/~hoc/peskin.pdf
which has source
http://www.slac.stanford.edu/~hoc/peskin.tex

Heath

### comment:13 Changed 2 years ago by jblayloc

Quick update: I have 3, 4, 5 addressed in my branch. I'm still trying to reproduce 6, 7. I understand 1 but haven't decided what to do about it yet.

### comment:14 Changed 2 years ago by hoc

Showstopper: 1. Bibitem{}/cite{} empty
Can wait another week: 7 (it only fails for slightly weird records).
Nice to have done at some point: 6.

### comment:15 Changed 2 years ago by jblayloc

Ok, thanks for the priorities Heath. This has been deployed to DEV again, with 1, 3, 4, 5 fixed. I have not addressed 2, 6, or 7 from immediately above. Specifically for number 2, %%CITATION is usually there, but not always. I need to spend a bit more time tracking down the precise reason why, but figured some %%CITATION was better than none.

• \bibitem{} and \cite{} look reasonable
• no space inside \bf
• commented-out title
• page numbers formatted correctly

And also please check that I didn't break any old things:

• Detailed format page looks correct (I had to manually merge changes here)
• back button works properly when receding from detailed record pages
• %% CITATION is created (at least sometimes)
• When pubnote and arxiv numbers aren't available, things fall back to report numbers
• volume letter is outside of {bf} for Latex formats
• arxiv tags only get square brackets if there is also a pubnote
• . added for pub-note/arxiv numbers in HTML Latex format: it should be there when it's supposed to be, but not when its not
• multiple authors rendered as foo, bar and baz rather than foo, bar, baz in HTML Latex output
• pub-notes produces multiple note outputs rather than just one. Multiple pub-notes stack vertically in the detailed format. Similarly there should be no blank line when there are no pubnotes. (See also #829)
• Journal title text added to Journal Server link on detailed record page. e.g., "Journal Server - Phys.Rev.Lett." or something like that.

Thanks for your patience.

If this looks ok to you then I'll mark this ticket for closing, merge this branch into master and deploy it to PROD, then spin off a new ticket with the remaining outstanding issues 2, 6, 7.

### comment:16 Changed 2 years ago by hoc

Hi Joe, just a few comments (in order of importance)

1. {\bf 60}(2010) 439 -:- there should be a space -> {\bf 60} (2010) 439
2. %%CITATION = ARNUA,60,439-462;%% -:- should be %%CITATION = ARNUA,60,439;%%
3. Long titles could cause copy and paste errors due to wrapping, e.g.

\bibitem{arXiv:0810.0673}

M.~Pohl, A.~A.~Abdo, A.~Atoyan, M.~G.~Baring, J.~F.~Beacom, R.~Blandford, Y.~Butt and A.~Bykov {\it et al.},
%Section on Supernova remnants and cosmic rays of the White Paper on the Status and Future of Ground-based Gamma-ray Astronomy,

arXiv:0810.0673 [astro-ph].

should be so that the wrap part doesn't become exposed

%Section on Supernova remnants and cosmic rays of the White Paper on the Status and
% Future of Ground-based Gamma-ray Astronomy,

if this is difficult, it's not a big issue, just a nicety.

### comment:17 Changed 2 years ago by jblayloc

I think most of this is now fixed, and is available on DEV for checking over. I'd like to mark this ticket 'fixed' and put this corresponding branch (841-manifold-fixes) into production, and then continue discussion about format problems over on #847. Heath, please advise.

### comment:18 Changed 2 years ago by hoc

OK, Joe, this is ready to go. See you over on #847.

Heath

### comment:19 Changed 2 years ago by jblayloc

• Status changed from assigned to in_merge

This is now deployed into production.

### comment:20 Changed 2 years ago by jblayloc

• Resolution set to fixed
• Status changed from in_merge to closed
Note: See TracTickets for help on using tickets.


text:
# Changing .gitconfig location on Windows

By default on Windows Git places global .gitconfig in c:\documents and settings\user\

How can I change that position so .gitconfig is stored in c:\my_configuration_files\?

Can it be done at all?

• Just wanted to add I am running into this too. I have all my other global git config stuff ("exludesfiles" and "attrirutesfile") in %userprofile%/.git/.gitignore (so in a folder), but the .gitconfig I would love for it to sit right next to them, but has to be on the root of %userprofile%.. just really annoying. Oct 31, 2014 at 15:38
• Any progress since the question has been asked? My .gitconfig sits on a network drive by default, meaning that it can't read it when I'm offline. Jun 24, 2015 at 6:06
• The real question behind this is: why would you want to do this? Oct 21, 2021 at 11:15

If you set HOME to c:\my_configuration_files\, then git will locate .gitconfig there. Editing environment variables is described here. You need to set the HOME variable, then re-open any cmd.exe window. Use the "set" command to verify that HOME indeed points to the right value.

Changing HOME will, of course, also affect other applications. However, from reading git's source code, that appears to be the only way to change the location of these files without the need to adjust the command line. You should also consider Stefan's response: you can set the GIT_CONFIG variable. However, to give it the effect you desire, you need to pass the --global flag to all git invocations (plus any local .git/config files are ignored).

• Hmm, not sure if I understood correctly but won't changing HOME have an influence to also all other applications which use it? Isn't there a way to change HOME, but local to Git?
– Rook
Oct 30, 2010 at 3:39
• Yes, it would have effect on other applications as well. You asked how to change the location, and I told you. See my edit. Oct 30, 2010 at 7:46
• Has anyone actually got this to work without the side effects of moving HOME messing up a whole load of other things? Sep 15, 2013 at 6:36
• This most likely is a solution that works on Windows platform. It worked also for me. I used Chocolatey's refreshenv script to refresh the environment variable HOME that I set (user environment variable). After that, I got the desired file location. Apr 15, 2019 at 20:49
• I had to reinstall Git for this to work. If I just added a new environment variable named HOME and moved the .gitconfig file to that directory, it didn't work. Aug 20, 2019 at 8:48

Change HOME directory for this is wrong. Better is create symbolic link for gitconfig to HOME directory.

1. Move your .gitconfig from user home directory, to the directory where you want.
2. Run command line as Administrator
3. Go to your user home directory
• It might worth adding that if you run git config --global to add an item to your config that your symlink will be overwritten with actual copy of the .gitconfig that is being used. I ran into this issue when testing a location where \PathForNewLocationOfConfig.gitconfig was my Dropbox folder Feb 6, 2012 at 20:10
• If your .gitconfig is located on a network drive you may get a "The device does not support symbolic links" message which rules this option out. May 5, 2015 at 15:07
• I don't think this solution will work for anyone. In our company, $HOME is on a network drive and whenever there's any problem with the network connection, also the link is unreachable. Dec 19, 2016 at 10:52 • @MotoWilliams revisiting this in 2017: the symlink stays intact after editing with --global Jul 18, 2017 at 20:11 • Here, group police (AD) sets HOMEDRIVE, HOMEPATH and HOMESHARE, but not plain,old, simple HOME. In the absence of HOME, git seems to use some combination of the previous three. But setting HOME (via the usual methodology for setting user-specific environment variables) works: GIT uses the HOME value you set, and grouppolicy does not clobber HOME. Sep 15, 2017 at 21:07 I have solved this problem using a slightly different approach that I have seen work for other configuration files. Git Config supports includes that allows you to point to a configuration file in another location. That alternate location is then imported and expanded in place as if it was part of .gitconfig file. So now I just have a single entry in .gitconfig: [include] path = c:\\path\\to\\my.config  Any updates written by Git to the .gitconfig file will not overwrite my include path. It does mean that occasionally I may need to move values from .gitconfig to my.config. • +1: no odd configurations and my global gitconfig is something I store in a git repo itself, so keeping track of what's in there is my job. When making global changes I just edit the global file by hand. So this works perfectly for me, and requires no oddity like changing your "HOME" environment variable, which is a strange idea just for the sake of getting Git's config where you want it. The home directory after all has other meanings to many other programs. Also you can put a different identity at the top and keep your key settings the same across identities with this solution. Excellent! Aug 20, 2016 at 3:29 • I wonder if it is possible to have git config write to the file in the [include]d file instead. Dec 9, 2017 at 8:23 • @JonathanNazario git config --file "included.file" Oct 11, 2019 at 23:23 • Making a bash alias seems to work quite well: alias git="git -c include.path$PATH_TO_GITCONFIG" Then, you don't need to have any $HOME/.gitconfig at all. Dec 14, 2021 at 14:42 Look in the FILES and ENVIRONMENT section of git help config. I'm no Git master, but from searching around the solution that worked easiest for me was to just go to C:\Program Files (x86)\Git\etc and open profile in a text editor. There's an if statement on line 37 # Set up USER's home directory. I took out the if statement and put in the local directory that I wanted the gitconfig to be, then I just copied my existing gitconfig file (was on a network drive) to that location. • Thanks a ton. While all other options failed for me, this just saved me a million git statements multiplied by 6 seconds :D here is what I did...  HOME="$USERPROFILE\Downloads\Tools\Git_Config" Oct 6, 2017 at 11:44
• The word 'home' (or anything looking similiar to you line :37) no longer exists in git 2.24 (December 2019). Dec 2, 2019 at 8:33

For me, changing the Start In location (of git-gui at least) did not affect where it looked for .gitconfig. My setup at work mounts U: for our home, but we do not have permission to write in U: directly, only subdirectories which were created for us inside, so this was a deal-breaker for me.

I solved the problem by making a batch script which would override the HOMEDRIVE and HOMEPATH env variables just for that application. Then changed my Start menu shortcut to point to that batch script instead.

• I'd like more information about what you did to accomplish this fix. Aug 18, 2017 at 15:13
• Can you share your solution?
– Sal
Sep 11, 2019 at 19:14

First check HOME setting, then change HOME and HOMEDRIVE to a existing dir.

c:\git>set HOME
HOME=U:\
HOMEDRIVE=U:
HOMEPATH=\

then change HOME and HOMEDRIVE by

set HOME=c:\tmp
set HOMEDRIVE=C:

As of at least 2.34.1, you can now set GIT_CONFIG_GLOBAL environment variable to a path to your .gitconfig file. See http://git-scm.com/docs/git-config#_environment for more details.

• For those struggeling with centrally set values for HOMEDRIVE and HOMEPATH the above solution is nice. If you want to ensure the global .gitconf is put into c:\users\username\ use the following PS-script: [System.Environment]::SetEnvironmentVariable('GIT_CONFIG_GLOBAL',$env:USERPROFILE + '\.gitconfig','User') – Jan Mar 25 at 12:46 1. Change to folder %PROGRAMFILES%\Git\etc 2. Edit file profile 3. Add to first line HOME="c:\location_were_you_want_gitconfig" 4. Done Note: The file permissions are usually restricted, so change them accordingly or you won't be able to save your changes. • This is not working as of git 2.24, Win10, December 2019. git config --list --show-origin shows, the original HOME is still in place. Dec 2, 2019 at 8:52 If you are on windows and having problem either changing environment variables or mklink because of insufficient privileges, an easy solution to your problem is to start git batch in another location. Just right click on Git Bash.exe, click properties and change the "Start in" property to c:\my_configuration_files\. • Wow this totally work with ease. Created a new short cut and under 'properties->start in' changed %HOMEDRIVE%%HOMEPATH% to c:\my_repo_folder. Worked a charm. Jun 12, 2015 at 16:14 • This didn't work for me. The .gitconfig file was still loaded from my home directory May 17, 2017 at 17:01 I wanted to do the same thing. The best I could find was @MicTech's solution. However, as pointed out by @MotoWilliams this does not survive any updates made by Git to the .gitconfig file which replaces the link with a new file containing only the new settings. I solved this by writing the following PowerShell script and running it in my profile startup script. Each time it is run it copies any settings that have been added to the user's .gitconfig to the global one and then replaces all the text in the .gitconfig file with and [include] header that imports the global file. I keep the global .gitconfig file in a repo along with a lot of other global scripts and tools. All I have to do is remember to check in any changes that the script appends to my global file. This seems to work pretty transparently for me. Hope it helps! Sept 9th: Updated to detect when new entries added to the config file are duplicates and ignore them. This is useful for tools like SourceTree which will write new updates if they cannot find existing ones and do not follow includes. function git-config-update {$localPath = "$env:USERPROFILE\.gitconfig".replace('\', "\\")$globalPath = "C:\src\github\Global\Git\gitconfig".replace('\', "\\")

$redirectAutoText = "# Generated file. Do not edit!n[include]n path =$globalPathnn"
$localText = get-content$localPath

$diffs = (compare-object -ref$redirectAutoText.split("n") -diff ($localText) | measure-object).count if ($diffs -eq 0)
{
write-output ".gitconfig unchanged."
return
}

$skipLines = 0$diffs = (compare-object -ref ($redirectAutoText.split("n") | select -f 3) -diff ($localText | select -f 3) | measure-object).count
if ($diffs -eq 0) {$skipLines = 4
write-warning "New settings appended to $localPath...n " } else { write-warning "New settings found in$localPath...n "
}
$localLines = (get-content$localPath | select -Skip $skipLines) -join "n"$newSettings = $localLines.Split(@("["), [StringSplitOptions]::RemoveEmptyEntries) | where { ![String]::IsNullOrWhiteSpace($_) } | %{ "[$_".TrimEnd() }$globalLines = (get-content  $globalPath) -join "n"$globalSettings =  $globalLines.Split(@("["), [StringSplitOptions]::RemoveEmptyEntries)| where { ![String]::IsNullOrWhiteSpace($_) } | %{ "[$_".TrimEnd() }$appendSettings = ($newSettings | %{$_.Trim() } |
where { !($globalSettings -contains$_.Trim()) })
if ([string]::IsNullOrWhitespace($appendSettings)) { write-output "No new settings found." } else { echo$appendSettings
add-content $globalPath ("n# Additional settings added from$env:COMPUTERNAME on " + (Get-Date -displayhint date) + "n" + $appendSettings) } set-content$localPath $redirectAutoText -force }  As someone who has been interested in this for a VERY LONG TIME. See from the manual:$XDG_CONFIG_HOME/git/config - Second user-specific configuration file. If $XDG_CONFIG_HOME is not set or empty,$HOME/.config/git/config will be used. Any single-valued variable set in this file will be overwritten by whatever is in ~/.gitconfig. It is a good idea not to create this file if you sometimes use older versions of Git, as support for this file was added fairly recently.

Which was only recently added. This dump is from 2.15.0.

Works for me.

• This is the simplest, least intrusive, most reliable solution in Windows. Mar 11, 2019 at 16:22
• doesn't work for me. i have a file in $XDG_CONFIG_HOME/git/gitconfig but git doesn't see it. Feb 8, 2021 at 16:38 • Just - It is not$XDG_CONFIG_HOME/git/gitconfig , but rather $XDG_CONFIG_HOME/git/config Feb 18, 2021 at 16:12 For me it worked very simple: 1. Copy ".gitconfig" from old directory: to %USERPROFILE% (standard in "c:\users\username") 2. Right click on start-icons of GITGUI and GITBASH and change "run in": "%HOMEDRIVE%%HOMEPATH%" to "%USERPROFILE%". Of cource you can use any other directory instead of "%USERPROFILE%". screen shot before screen shot after Solution without having to change Windows HOME variable OS: Windows 10 git version: 2.27.0.windows.1 I use portable version of Git, so all my config files are on my pen-drive(E:). This is what worked for me: 1. Download portable Git from https://git-scm.com/. Run the file and install it in the required location. I installed it in E:\git. 2. Run git-bash.exe from E:\git. 3. I wanted to put .gitconfig and other bash files in E, so I created a folder called home where I want them all in. mkdir home 4. Go to etc folder and open the file called profile (In my case, it's E:\git\etc\profile) 5. Add absolute path to the home directory we created (or to the directory where you want to have your .gitconfig file located) at the end of the profile file. HOME="E:\git\home" Now it no longer searches in the C:\Users<username> directory for .gitconfig but only looks in your set path above. $ git config --global --list
fatal: unable to read config file 'E:/git/home/.gitconfig': No such file or directory

It gave an error because there isn't a .gitconfig file there yet. This is just to demonstrate that we have successfully changed the location of the .gitconfig file without changing the HOME directory in Windows.

1- open D:\PortableApps\Git-2.31.1PortableByAmir\etc\profile bye notepad

2- add this to profile file:

HOME="/PortableHome"

3- create PortableHome folder in D:\PortableApps\Git-2.31.1PortableByAmir\

4- copy

C:\Users\Amir\.gitconfig
C:\Users\Amir\.git-credentials

to

D:\PortableApps\Git-2.31.1PortableByAmir\PortableHome

Note: D:\PortableApps\Git-2.31.1PortableByAmir\bin\bash.exe is not a portable git only open D:\PortableApps\Git-2.31.1PortableByAmir\git-bash.exe


text:
# Troullier-Martins pseudopotential with nonzero angular momentum quantum number

According to [1] the Troullier-Martins pseudopotential for quantum number $$l$$ is computed by $$V^{\textrm{KB}}_{\textrm{nonlocal},l}(r) = \frac{\vert{}V_{\textrm{nonlocal},l}(r)\Phi^{\textrm{PP},0}_l(r)\rangle \langle\Phi^{\textrm{PP},0}_l(r)V_{\textrm{nonlocal},l}(r)\vert} {\langle\Phi^{\textrm{PP},0}_l(r)\vert{}V_{\textrm{nonlocal},l}(r) \vert\Phi^{\textrm{PP},0}_l(r)\rangle}$$ where $$\Phi^{\textrm{PP},0}_l(r) = R^{\textrm{PP}}_l(r)A(r)$$ and $$A(r)$$ is the angular part for which the pseudopotential was calculated.

Suppose that $$l \neq 0$$. Should we include all the pseudowavefunctions with angular parts $$Y_{lm}$$, $$m = -l,\ldots,l$$ in the computation of the total pseudopotential?

[1] Troullier and Martins. Efficient pseudopotentials for plane-wave calculations. Phys. Rev. B vol. 43, no. 3, pp. 1993-2006 (1991).

• You might consider committing to the Materials Modeling SE proposal. Questions like these are bound to receive more activity in that site after it is launched as many experts from the field of computational physics, chemistry and materials science will be more concentrated and engaged there. – rashid Jan 5 at 5:10


text:
시간 제한 메모리 제한 제출 정답 맞은 사람 정답 비율
1 초 512 MB 4 1 1 100.000%

## 문제

The Island of Sodor (or just Sodor) can be reached from England via bridges.

Because Sodor and England are far away, there exist multiple routes (exactly $n$ routes) that connect the two lands via one or more bridges. Specifically, route $i$ connects Sodor and England through $k_{i}$ ($k_{i} \ge 1$) bridges. Let us denote the $j$-th bridge (counting from Sodor to England) of route $i$ as $B[i, j]$. Below, we have two routes ($n = 2$) and five bridges with $k_{1} = 2$ and $k_{2} = 3$.

Figure 1: Two routes and five bridges

For any two adjacent bridges of a route, $B[i, j]$ and $B[i, j+1]$ where $j+1 \le k_i$, their joint is a small island that simply serves as a connecting point of the two bridges. As demonstrated in the figure, there are exactly $n$ routes that connect Sodor and England, as the bridges do not intersect, and all joints are also distinct. In particular, if any one of the bridges of route $i$ is damaged, then route $i$ cannot be used to travel between Sodor and England.

Due to recent earthquakes in the area, some of the bridges may have experienced severe damage and become unusable. At this point we do not know exactly which bridges withstood the earthquakes and which ones were destroyed. Thanks to the inspections that were performed on the bridges prior to the incidents, for each bridge, we know the exact probability of whether it is still intact or not. Let $p[i, j]$ be the probability ($0 < p[i,j] < 1$) that bridge $B[i, j]$ is still intact after the earthquakes. Assume that the events of bridges being intact are mutually independent.

We want to know whether there is still a path between Sodor and England. However, determining whether a bridge is still intact or not is a costly operation because one needs to dispatch a large team of inspectors via choppers and boats, and therefore we want to minimize the number of inspections. Using an optimal sequence of inspections (that minimizes the expected number of inspections), what is the expected number of inspections we must perform until we are certain whether there is still a safe route between Sodor and England?

## 입력

The first line contains $n$, the number of routes ($2 \le n \le 1000$).

The following $n$ lines contain the information on each route. The $i$-th of them starts with an integer $k_i$, the number of bridges in the $i$-th route ($1 \le k_{i} \le 1000$). Then follow $k_{i}$ integers labeled as $q[i, j]$, where $1 \le j \le k_{i}$. Each $q[i, j]$ is an integer between 1 and 999, inclusive, and it means that $p[i, j] = q[i,j] / 1000$.

## 출력

Simply output the expected number of inspections for an optimal inspection sequence of the bridges. Your answer will be considered correct if its relative or absolute error is within $10^{-9}$.

## 예제 입력 1

2
3 900 900 900
2 100 100

## 예제 출력 1

3.0081

## 예제 입력 2

3
1 240
1 310
1 50

## 예제 출력 2

2.2144

## 힌트

The first input describes the example discussed in the problem description. Intuitively, route 1 is very likely to be fine, as all three bridges are expected to be intact, whereas route 2 is most likely destroyed. The optimal sequence is to inspect the three bridges of route 1 (in any order, until either route 1 is declared to be safe or damaged), and then the two bridges of route 2.

For the second input, it is optimal to inspect route 2, then route 1, and then route 3 (if needed).


text:
# Slight Changes to Boadilla Theme in Beamer Class

### Yihui Xie / 2007-10-19

Boadilla is a quite plain theme in beamer class; I like plain styles, but I also want a headline in the top indicating the sections so that I can know where I am when I’m giving a speech. Thus I gave some slight changes to this plain theme: the default headline has been replaced with infolines, while the definition of the outer theme infolines has also been modified as I don’t have any subsections.

\[email protected]\else\setbeamertemplate{headline}[default]\fi

The modified version:

\[email protected]\else\setbeamertemplate{headline}[infolines]\fi

You may visit the post Jokes in Statistics to see the effects of my modifications.


text:
# Eaton IPM run script before shutdown on specific VM

This is just not the week for battery backups.

Hi,

I've got two standalone VMware ESXi-Hosts (version 6.7 U3). On one of them I've got an IPM virtual appliance running (version 1.69). All powered using a Eaton 5PX 3000.

Currently I'm able to shutdown the hosts and the VMs using the autostart feature of the ESXi-Hosts. But I need to run a script on a specific VM before shutting it down to correctly stop an application on this VM.

How can I achieve this using Eaton IPM to manage the entire shutdown sequence?

Popular Topics in Uninterruptible Power Supplies (UPS)
Spiceworks Help Desk

The help desk software for IT. Free.

Track users' IT needs, easily, and with only the features you need.

## 15 Replies

· · ·
Mace
OP

Hi & welcome

What do you mean by standalone ESXi ?? No vCenter ?

Does your model of Eaton UPS have a network management card with some management software that you can install on OSe to trigger a Windows shutdown (as if it is a physical server) ?

1
· · ·
Anaheim
OP

Brand Representative for Eaton

Have you tried setting the path to your script under the 'Command' action upon an event?

From the User Guide (p43):

Text
Command
The command is executed by the supervision application when an action is triggered.
In order to execute a program on UPS events, the program path is required. The program is executed under the
SYSTEM account.
l If an action (script or program) cannot be executed under the SYSTEM account, it is necessary to modify the
execution context before it can run.
l To allow a user to run specific tools and programs with permissions that are different from those assigned to
the user's account, use the Windows “Run As” command. This allows you to save the password (Windows
l Use the following Microsoft command:
l > runas /profile /user:<windows_ login> /savecred <my_program.exe>
l When first executed, a password is required; it is saved for subsequent executions.

1
· · ·
Pimiento
OP

What do you mean by standalone ESXi ?? No vCenter ?

Does your model of Eaton UPS have a network management card with some management software that you can install on OSe to trigger a Windows shutdown (as if it is a physical server) ?

Yes I do not have a vCenter and in my UPS there is a network card installed.

Jay (Eaton) wrote:

Have you tried setting the path to your script under the 'Command' action upon an event?

I've set the path under 'Command' like "D:\foo\bar.cmd". But I don't know how to specify on which host this script is executed. In my Node List there are only my two ESXi-Hosts, my UPS and my IPM-Appliance.

1
· · ·
Chipotle
OP

Brand Representative for Tripp Lite by Eaton

ndegel wrote:

Hi,

I've got two standalone VMware ESXi-Hosts (version 6.7 U3). On one of them I've got an IPM virtual appliance running (version 1.69). All powered using a Eaton 5PX 3000.

Currently I'm able to shutdown the hosts and the VMs using the autostart feature of the ESXi-Hosts. But I need to run a script on a specific VM before shutting it down to correctly stop an application on this VM.

How can I achieve this using Eaton IPM to manage the entire shutdown sequence?

What's the OS of the VM you need to run the script on? Do you have a sample script I can eyeball?
Jay (Eaton) and/or Jose (Eaton) probably have better IPM-specific ideas than I'll have but I can take a look and see if I can help.
I'm also generally curious: is this a case where an app on the OS doesn't gracefully close when the OS begins to gracefully shut down?

1
· · ·
Anaheim
OP

Brand Representative for Eaton

Can you execute the script via an SSH command? You set that up on the correct host through Actions.

2
· · ·
Pimiento
OP

I need to run the script on a Windows Server VM to simply create a file on this machine by using "copy NUL C:\foo.txt". Precisely this action is used to shutdown Simatic WinCC Runtime on this VM because it won't gracefully close on Windows shutdown. So in WinCC there is a shutdown action triggered, when the creation of this specific file is registered.

@Jay (Eaton) unfortunately I am unable to Access this Windows VM via SSH

1
· · ·
Chipotle
OP

Brand Representative for Tripp Lite by Eaton

ndegel wrote:

I need to run the script on a Windows Server VM to simply create a file on this machine by using "copy NUL C:\foo.txt". Precisely this action is used to shutdown Simatic WinCC Runtime on this VM because it won't gracefully close on Windows shutdown. So in WinCC there is a shutdown action triggered, when the creation of this specific file is registered.

@Jay (Eaton) unfortunately I am unable to Access this Windows VM via SSH

My "unoffical", kind of winging it idea:

1. Run IPP (http://pqsoftware.eaton.com/explore/eng/ipp/default.htm?lang=en) on the Windows VM (assuming the Windows OS is supported)
2. Monitor the NMC with IPP on the Windows VM
3. Use IPP's script execution feature directly on the Windows VM to copy the text file when the UPS is on battery. See page 24 here: https://www.eaton.com/content/dam/eaton/products/backup-power-ups-surge-it-power-distribution/power-...

From what I know... that shouldn't interfere with your IPM shutdown and the script should run quickly. Assuming there is a bit of a delay before IPM triggers your shutdown, could work out well.

Possible "gotchas" I missed:

• An IPM/IPP quirk I don't know about. (Jay (Eaton) ?)

Other options I like less:

• USB passthrough to the VM and do something like let Windows Task Scheduler run the script (lot of moving parts here)
• Send an SNMP trap to the Windows host and have that run a script (lot of moving parts here too)

0
· · ·
Pimiento
OP

David (Tripp Lite) wrote:

ndegel wrote:

I need to run the script on a Windows Server VM to simply create a file on this machine by using "copy NUL C:\foo.txt". Precisely this action is used to shutdown Simatic WinCC Runtime on this VM because it won't gracefully close on Windows shutdown. So in WinCC there is a shutdown action triggered, when the creation of this specific file is registered.

@Jay (Eaton) unfortunately I am unable to Access this Windows VM via SSH

My "unoffical", kind of winging it idea:

1. Run IPP (http://pqsoftware.eaton.com/explore/eng/ipp/default.htm?lang=en) on the Windows VM (assuming the Windows OS is supported)
2. Monitor the NMC with IPP on the Windows VM
3. Use IPP's script execution feature directly on the Windows VM to copy the text file when the UPS is on battery. See page 24 here: https://www.eaton.com/content/dam/eaton/products/backup-power-ups-surge-it-power-distribution/power-...

From what I know... that shouldn't interfere with your IPM shutdown and the script should run quickly. Assuming there is a bit of a delay before IPM triggers your shutdown, could work out well.

Possible "gotchas" I missed:

• An IPM/IPP quirk I don't know about. (Jay (Eaton) ?)

Other options I like less:

• USB passthrough to the VM and do something like let Windows Task Scheduler run the script (lot of moving parts here)
• Send an SNMP trap to the Windows host and have that run a script (lot of moving parts here too)

Thank you David, installing IPP on the VM worked and I am now able to run the script when using the "Test Shutdown" button under Settings > Shutdown in IPP Webinterface. But unfortunately the configured shutdown sequence isn't executed at USP powerloss. I have configured the shutdown as shown below:

Can you tell me what I have configured wrong? Do I need to trigger the shutdown action of IPP using IPM or is IPP itself able to detect a power outage at the UPS?

Edited Nov 17, 2021 at 12:20 UTC
0
· · ·
Anaheim
OP

Brand Representative for Eaton

Yes, you need to trigger the shutdown action of IPP using IPM. Within IPM under nodes you should see IPP appear. Try a scan if it doesn't see it at first. Then configure an action in IPM to trigger IPP on the host.

2
· · ·
Pimiento
OP

So I've created a policy on the IPP-node in IPM and created an action triggered by this policy (see image below). But I am not sure which "Action type" to choose to trigger the script execution on the VM with IPP.

1
· · ·
Anaheim
OP

Brand Representative for Eaton

Try host power action and then select your host according to the image below.

Here's the IPP User Guide:
https://www.eaton.com/content/dam/eaton/products/backup-power-ups-surge-it-power-distribution/power-...

2
· · ·
Pimiento
OP

According to your image IPM will shutdown all VMs on an ESXi. But I need to create a shutdown action only for the VM where IPP is installed an the script shall be executed. I can't let this VM shutdown at the same time as the others because after execution of the script the shutdown of the application and following the windows shutdown will take about 10min. After those 10min the remaining VMs should start to shut down. Is it possible to set this behaviour in IPM?

0
· · ·
Anaheim
OP

Brand Representative for Eaton

Yes, you can set timers and thresholds for actions and subsequent actions. The user guides I posted above should have some examples for you. Take a look through there to see how you can accomplish what you're wanting to do.

1
· · ·
Pimiento
OP

So according to IPM guide page 44 the action "VM Power Action" is exactly what I need. But in my IPM this action is not present. How do I trigger the shutdown instead?

0
· · ·
Anaheim
OP

Brand Representative for Eaton

Are you using the free or paid version of IPM? The paid version gives VM actions. It's possible you can still set it up through the available features of the free version, but you'll need to connect with our software support team for any advice they can give. I advise you open a case with our Software Support team: softwareconnectivityts at eaton dot com

2
Oops, something's wrong below.


text:
# Revision history [back]

I finally managed to identify the problem. The server could not reach (due to dns resolve issues) the resources listed in the sdc.log in the section:

2019-06-28 16:16:55,883 [user:] [pipeline:] [runner:] [thread:main] [stage:] INFO  ClassLoaderStageLibraryTask - Reading from Repository Manifest URL: http://archives.streamsets.com/datacollector/3.9.1/tarball/repository.manifest.json

So the startup procedure was waiting an indefinitely amount of time... The suggestion was taken from this post: https://www.codetd.com/en/article/6412721

I apologize for the time wasted trying to solve a problem that was clearly not attributable to SDC...