# Possibility of a generically sized vector of 1s and 0s similar to the UniformScalingOperator in Juila v0.7

**URL:** <https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297>\
**Category:** General Usage\
**Created:** [April 12, 2018, 6:28am UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297 "2018-04-12T06:28:41Z")\
**Posts on this page:** 18\
**Page:** 1

<div class="post-metadata">

**Author:** ![jlperla](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jlperla/32/34332_2.png) [@jlperla](https://discourse.julialang.org/u/jlperla)\
**Post date:** [April 12, 2018, 6:28am UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/1 "2018-04-12T06:28:41Z")

</div>

I love the generically sized `I` as the `UniformScaling` operator in Julia. It makes linear algebra code elegant (and I suspect either efficient now or in the future)

Another common element that comes up in linear algebra are vectors of 1s and vectors of 0s which you want to be generically sized. For a nice symbol people could add, the common \mathbf{1} or \mathbf{0} although sometimes \vec{1} and others are used and appear to be in [https://docs.julialang.org/en/release-0.4/manual/unicode-input/](https://docs.julialang.org/en/release-0.4/manual/unicode-input/)

Written generically, a function that comes up in asset pricing of a discrete markov chain looks something like

```julia
n = 2
β = 0.9
A = rand(n,n)
onevec = ones(n,1)
inv(I - β *A) * onevec

```

This could be rewritten with something like this as

```julia
n = 2
β = 0.9
A = rand(n,n)
inv(I - β *A) * 𝟏

```

Not only is the size of the onevec unnecessary, but I can imagine there are behind-the-scenes optimizations that could happen with more complicated code than this.

Similarly, the 𝟏 and 𝟎 come up all the time when stacking up matrices. For example,

```julia
A = rand(2,2)
B = rand(3,1)
c = 4
zerovec = zeros(2,1)
onemat = ones(3,2)

D = [A zerovec;
      c zerovec';
      onemat B]

```

could become

```julia
A = rand(2,2)
B = rand(3,1)
c = 4

D = [ A 𝟎;
       c 𝟎;
       𝟏 B]

```

Any thoughts on whether this could be written and makes sense? I wasn’t sure if this was the sort of thing covered by [https://github.com/JuliaLang/julia/issues/24595](https://github.com/JuliaLang/julia/issues/24595) althought I couldn’t tell if the `oneunit` was implemented (and it didn’t seem to be generically size).

---

<div class="post-metadata">

**Author:** ![ChrisRackauckas](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/chrisrackauckas/32/77_2.png) [@ChrisRackauckas](https://discourse.julialang.org/u/ChrisRackauckas)\
**Post date:** [April 12, 2018, 6:54am UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/2 "2018-04-12T06:54:38Z")

</div>

See [https://github.com/JuliaArrays/FillArrays.jl](https://github.com/JuliaArrays/FillArrays.jl)

---

<div class="post-metadata">

**Author:** ![dlfivefifty](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/dlfivefifty/32/1959_2.png) [@dlfivefifty](https://discourse.julialang.org/u/dlfivefifty)\
**Post date:** [April 12, 2018, 11:45am UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/3 "2018-04-12T11:45:53Z")

</div>

FillArrays.jl doesn’t include generically sized vectors, but I’d happily accept a PR that adds thid

---

<div class="post-metadata">

**Author:** ![ChrisRackauckas](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/chrisrackauckas/32/77_2.png) [@ChrisRackauckas](https://discourse.julialang.org/u/ChrisRackauckas)\
**Post date:** [April 12, 2018, 3:08pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/4 "2018-04-12T15:08:49Z")

</div>

> [@dlfivefifty](#):
>
> FillArrays.jl doesn’t include generically sized vectors, but I’d happily accept a PR that adds thid

Oh, I thought it did. Well, at least you can punch in the sizes and it’ll work

---

<div class="post-metadata">

**Author:** ![jlperla](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jlperla/32/34332_2.png) [@jlperla](https://discourse.julialang.org/u/jlperla)\
**Post date:** [April 12, 2018, 6:26pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/5 "2018-04-12T18:26:50Z")

</div>

No doubt the appropriate home for this sort of thing might make sense in FillArrays.jl.

Do you think that a generically shaped matrix/vector for this really feasible, or were there enormous hoops required to make the `I` operate with standard matrix multiplications, array concatenation, etc.? The other generic thing that I see all over the linear algebra I code is the zero vector with a 1 in a particular location. Usable denoted \mathbf{e}\_{n} where it is `[0 ... 0 1 0 ... 0]` except at location n. It sure would be nice to hvae something like \mathbf{e}`(n)` as a function in julia for doing that sort of algebra.

---

<div class="post-metadata">

**Author:** ![dlfivefifty](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/dlfivefifty/32/1959_2.png) [@dlfivefifty](https://discourse.julialang.org/u/dlfivefifty)\
**Post date:** [April 12, 2018, 6:37pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/6 "2018-04-12T18:37:38Z")

</div>

I think it’s pretty straightforward to implement: just copy-and-paste [https://github.com/JuliaLang/julia/blob/master/stdlib/LinearAlgebra/src/uniformscaling.jl](https://github.com/JuliaLang/julia/blob/master/stdlib/LinearAlgebra/src/uniformscaling.jl) and make a few changes.

(Note `UniformScaling` isn’t even Base anymore.)

---

<div class="post-metadata">

**Author:** ![jlperla](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jlperla/32/34332_2.png) [@jlperla](https://discourse.julialang.org/u/jlperla)\
**Post date:** [April 12, 2018, 7:07pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/7 "2018-04-12T19:07:15Z")

</div>

If so, what name makes the most mathematical sense (and what unicode symbol could be exported) for the following:

- Vector/matrix of 1s.
  - I tried to use the `\bfone` from [https://docs.julialang.org/en/latest/manual/unicode-input/#Unicode-Input-1](https://docs.julialang.org/en/latest/manual/unicode-input/#Unicode-Input-1) which looks like 𝟏 but it doesn’t appear that variables can start with this character?
  - Note that `Vector𝟏` etc. is valid, so it is just that it can’t start with it. Is there a good reason for this, or could Julia be loosened to allow that?

- Vector/matrix of 0s
  - Same story. `\bfzero` looks great as 𝟎 but you can’t start with it.

- Column Vector with a 1 in the n’th position (assuming that the size it stretches to is \>= n)
  - Here, `\bsanse` looks nice as `𝗲(n::Int)` and would work fine?

---

<div class="post-metadata">

**Author:** ![dlfivefifty](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/dlfivefifty/32/1959_2.png) [@dlfivefifty](https://discourse.julialang.org/u/dlfivefifty)\
**Post date:** [April 12, 2018, 7:41pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/8 "2018-04-12T19:41:29Z")

</div>

Hmm, it looks like all numbers are forbidden. The best I could come up with is 𝐥 (\bfl, but looks like a 1) and 𝐎 (\bfO).

---

<div class="post-metadata">

**Author:** ![StefanKarpinski](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/stefankarpinski/32/24_2.png) [@StefanKarpinski](https://discourse.julialang.org/u/StefanKarpinski)\
**Post date:** [April 12, 2018, 8:19pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/9 "2018-04-12T20:19:32Z")

</div>

They could be allowed—the reason they’re currently forbidden is that we didn’t have a good sense of how they should behave. Should “weird” numbers act like digits or like letters? This use case seems to argue for treating them as letters so that `𝟎` and `𝟏` are valid identifiers.

---

<div class="post-metadata">

**Author:** ![jlperla](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jlperla/32/34332_2.png) [@jlperla](https://discourse.julialang.org/u/jlperla)\
**Post date:** [April 12, 2018, 8:30pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/10 "2018-04-12T20:30:24Z")

</div>

Is there any downside to erring on the side of treating almost all unicode characters as valid identifiers? The only “number” specific parsing that came to my mind is the `2x` parsing into `2 * x`? If that is the main place it would matter? If so, then I think that `𝟏A` is not really necessary and that this could be interpreted as a 2 character identifier.

---

<div class="post-metadata">

**Author:** ![StefanKarpinski](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/stefankarpinski/32/24_2.png) [@StefanKarpinski](https://discourse.julialang.org/u/StefanKarpinski)\
**Post date:** [April 12, 2018, 8:36pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/11 "2018-04-12T20:36:26Z")

</div>

> [@jlperla](#):
>
> Is there any downside to erring on the side of treating almost all unicode characters as valid identifiers?

If you do that, then you can’t change it later without potentially breaking people’s code, which we’re committing to not doing in 1.x releases. So instead we’re erring on the side of being “conservative”—I put that in quotes because I think Julia allows you to use more Unicode operators and symbols than any other language that I’m aware of.

---

<div class="post-metadata">

**Author:** ![jlperla](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jlperla/32/34332_2.png) [@jlperla](https://discourse.julialang.org/u/jlperla)\
**Post date:** [April 12, 2018, 8:46pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/12 "2018-04-12T20:46:00Z")

</div>

OK. Sounds like a middle-ground may be to find a good type of “weird number” that makes sense to act as a letter and are available in enough unicode fonts that they could be displayed. If there are at least a single set of unicode numbers that work as identifiers, then that is enough for this version.

I will prepare an issue with a candidate set. Then, perhaps, we can try to find someone who might be interested in implementing this sort of thing in `FillArrays.jl`. If so, what are reasonable mathematical/Type names (as opposed to unicode aliases) for the 𝟏, 𝟎, and 𝗲(n) ? `UniformOnes`, `UniformZeros`, and `UniformIndicator`?

---

<div class="post-metadata">

**Author:** ![dlfivefifty](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/dlfivefifty/32/1959_2.png) [@dlfivefifty](https://discourse.julialang.org/u/dlfivefifty)\
**Post date:** [April 12, 2018, 8:46pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/13 "2018-04-12T20:46:20Z")

</div>

I can understand the desire to be conservative about `𝟏`, but also forbidding `1️⃣` seems excessive…

---

<div class="post-metadata">

**Author:** ![jlperla](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jlperla/32/34332_2.png) [@jlperla](https://discourse.julialang.org/u/jlperla)\
**Post date:** [April 12, 2018, 8:52pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/14 "2018-04-12T20:52:14Z")

</div>

The good thing is that there are a multiple sets of distinct unicode characters that look like 𝟏 . Maybe the set of `Mathematical Sans-Serif Bold` in [https://docs.julialang.org/en/latest/manual/unicode-input/#Unicode-Input-1](https://docs.julialang.org/en/latest/manual/unicode-input/#Unicode-Input-1) for example could be identifiers, which leaves the others as is?

I have to admit, though, that it would be nice to have the `Mathematical Double-Struck Digit` as valid identifiers. Makes DSL for indicator functions (e.g. 𝟙(a \>. b) ) possible, where they are not right now.

---

<div class="post-metadata">

**Author:** ![StefanKarpinski](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/stefankarpinski/32/24_2.png) [@StefanKarpinski](https://discourse.julialang.org/u/StefanKarpinski)\
**Post date:** [April 13, 2018, 9:37pm UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/15 "2018-04-13T21:37:49Z")

</div>

This isn’t written in stone. Open an issue and make the case to add these characters as valid letters. Since we now have a use case there’s a discussion to be had. Previously we had no actual use cases, so we made the only choice that’s guaranteed not to prevent any future use case. I also don’t see how 1 in a box is particularly different than a double struck 1.

---

<div class="post-metadata">

**Author:** ![jebej](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jebej/32/1784_2.png) [@jebej](https://discourse.julialang.org/u/jebej)\
**Post date:** [April 14, 2018, 12:05am UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/16 "2018-04-14T00:05:16Z")

</div>

Note that the symbol 𝟏 (math bold 1) usually represents the identity matrix, not a vector of 1.

---

<div class="post-metadata">

**Author:** ![jlperla](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jlperla/32/34332_2.png) [@jlperla](https://discourse.julialang.org/u/jlperla)\
**Post date:** [April 14, 2018, 4:24am UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/17 "2018-04-14T04:24:36Z")

</div>

Haven’t seen that personally, but the suggestion here is not to force 𝟏 to be a vector of 1s, but rather to make it possible for a library to do so. In your case, if it was a valid identifier then you could just do

```julia
const 𝟏 = I

```

---

<div class="post-metadata">

**Author:** ![jlperla](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jlperla/32/34332_2.png) [@jlperla](https://discourse.julialang.org/u/jlperla)\
**Post date:** [April 14, 2018, 4:44am UTC](https://discourse.julialang.org/t/possibility-of-a-generically-sized-vector-of-1s-and-0s-similar-to-the-uniformscalingoperator-in-juila-v0-7/10297/18 "2018-04-14T04:44:17Z")

</div>

Posted in [https://github.com/JuliaLang/julia/issues/26808](https://github.com/JuliaLang/julia/issues/26808)

Hopefully this can make it into v0.7 so that we can get RAs to play around with adding these features to FillArrays.jl.