[#53944] [ruby-trunk - Bug #8210][Open] Multibyte character interfering with end-line character within a regex — "sawa (Tsuyoshi Sawada)" <sawadatsuyoshi@...>

14 messages 2013/04/03

[#53974] [ruby-trunk - Feature #8215][Open] Support accessing Fiber-locals and backtraces for a Fiber — "halorgium (Tim Carey-Smith)" <ruby-lang-bugs@...>

14 messages 2013/04/03

[#54095] [ruby-trunk - Feature #8237][Open] Logical method chaining via inferred receiver — "wardrop (Tom Wardrop)" <tom@...>

34 messages 2013/04/08

[#54138] [ruby-trunk - Bug #8241][Open] If uri host-part has underscore ( '_' ), 'URI#parse' raise 'URI::InvalidURIError' — "neocoin (Sangmin Ryu)" <neocoin@...>

9 messages 2013/04/09

[#54185] [CommonRuby - Feature #8257][Open] Exception#cause to carry originating exception along with new one — "headius (Charles Nutter)" <headius@...>

43 messages 2013/04/11

[#54196] Encouraging use of CommonRuby — Charles Oliver Nutter <headius@...>

I think we need to do more to encourage the use of the CommonRuby

20 messages 2013/04/11
[#54200] Re: Encouraging use of CommonRuby — Marc-Andre Lafortune <ruby-core-mailing-list@...> 2013/04/11

Hi,

[#54211] Re: Encouraging use of CommonRuby — "NARUSE, Yui" <naruse@...> 2013/04/12

As far as I understand, what is CommonRuby and the process over CommonRuby

[#54215] Re: Encouraging use of CommonRuby — Charles Oliver Nutter <headius@...> 2013/04/12

On Thu, Apr 11, 2013 at 11:25 PM, NARUSE, Yui <naruse@airemix.jp> wrote:

[#54207] [CommonRuby - Feature #8258][Open] Dir#escape_glob — "steveklabnik (Steve Klabnik)" <steve@...>

15 messages 2013/04/12

[#54218] [CommonRuby - Feature #8259][Open] Atomic attributes accessors — "funny_falcon (Yura Sokolov)" <funny.falcon@...>

43 messages 2013/04/12

[#54288] [CommonRuby - Feature #8271][Open] Proposal for moving to a more visible, formal process for feature requests — "headius (Charles Nutter)" <headius@...>

15 messages 2013/04/15

[#54333] Requesting Commit Access — Aman Gupta <ruby@...1.net>

Hello ruby-core,

16 messages 2013/04/16

[#54473] [Backport 200 - Backport #8299][Open] Minor error in float parsing — "bobjalex (Bob Alexander)" <bobjalex@...>

27 messages 2013/04/19

[#54532] [ruby-trunk - Bug #8315][Open] mkmf does not include include paths from pkg_config anymore — "Hanmac (Hans Mackowiak)" <hanmac@...>

11 messages 2013/04/23

[#54621] [ruby-trunk - Feature #8339][Open] Introducing Geneartional Garbage Collection for CRuby/MRI — "ko1 (Koichi Sasada)" <redmine@...>

43 messages 2013/04/27
[#54643] [ruby-trunk - Feature #8339] Introducing Geneartional Garbage Collection for CRuby/MRI — "authorNari (Narihiro Nakamura)" <authorNari@...> 2013/04/28

[#54649] Re: [ruby-trunk - Feature #8339] Introducing Geneartional Garbage Collection for CRuby/MRI — SASADA Koichi <ko1@...> 2013/04/28

(2013/04/28 9:23), authorNari (Narihiro Nakamura) wrote:

[#54657] Re: [ruby-trunk - Feature #8339][Open] Introducing Geneartional Garbage Collection for CRuby/MRI — Magnus Holm <judofyr@...> 2013/04/28

On Sat, Apr 27, 2013 at 8:19 PM, ko1 (Koichi Sasada)

[#54665] [ruby-trunk - Bug #8344][Open] Status of Psych and Syck — "Eregon (Benoit Daloze)" <redmine@...>

18 messages 2013/04/28

[ruby-core:54112] [ruby-trunk - Feature #8232] Rudiments of abstract algebra in Ruby

From: "boris_stitnicky (Boris Stitnicky)" <boris@...>
Date: 2013-04-08 16:41:40 UTC
List: ruby-core #54112
Issue #8232 has been updated by boris_stitnicky (Boris Stitnicky).


> -1. I can't see how this would help most Rubyists.

I think that I have to come clean, that Hermes, not Apollo inspired me to raise this issue.
In some quarters, abstract algebra is considered cool. If we have #additive_idenity (alias
#zero) and #multiplicative_identity (alias #one) in all algebraic rings (such as Numerics),
nobody can point fingers (like Randall Schulz does in that SO comment, see the link in my
original post at the top) that Ruby people are "hobbyist proffesionals" who "reject formal
mathematical foundations" and "insist on a purely intuitive approach". Yes, Ruby is based
on abstract algebra, yes, we support as much as was pragmatic. The thing is, to sprinkle
just ever so little abstract algebra terminology (Rings, Fields, Monoids, #additive_inverse,
#multiplicative_inverse...) to give Ruby cute fake glasses :-)))

http://coderay.rubychan.de/images/ruby-chan-coderay-small.png?1302355251

A bit more seriously, it is already possible to ask Numeric#zero?, so why not have its
counterpart methods without question mark, such as Float.zero, Integer.zero
(and Float.one, Integer.one...)

> Finally, as I explained in #8223, I don't think that Matrix could use a generic `zero` method.

I will try to subclass it into MatrixOverAlgebraicRing, that does use #zero and #one, I'll let you know.

> > ... I would like ... that Matrix ... does not need to be loaded by require.
> ... I'm -1 on this too, as I believe very very few Rubyists need Matrix. Compare that to `set`...

Very few Rubyists need Matrix? Really? So if I think that everyone needs matrices, and
that Ruby is my Octave++, I'm weird? I understand that in past, there was probably an
issue of whether Set should be enabled by default, and it was rejected. But Set is imitated
so well by Arrays! Am I weird again to think that matrices (and tensors) are more fundamental?

> BTW, coding it in C would be a huge undertaking too.

And necessary. I'll start (re)learning C, I promise :-)
----------------------------------------
Feature #8232: Rudiments of abstract algebra in Ruby
https://bugs.ruby-lang.org/issues/8232#change-38363

Author: boris_stitnicky (Boris Stitnicky)
Status: Open
Priority: Normal
Assignee: matz (Yukihiro Matsumoto)
Category: 
Target version: 


I have recently been struggling with Matrix class to make it accept physical magnitudes for matrix multiplication, and at that opportunity (http://bugs.ruby-lang.org/issues/8223), I noticed that rings and fields in Ruby do not know their additive identity. Eg. there is no method Float#zero or Rational#zero... I therefore propose that:

1. every ring has #additive_identity, alias #zero method defined.
2. every ring has other methods defined, as required for rings in abstract algebra. An example (perhaps a stupid example) might be:

class << Integer
  def additive_identity; 0 end
  alias zero additive_identity
  def add( other ); self + other end
  def additive_inverse; -self end
  def multiply( other ); self * other end
  def multiplicative_identity; 1 end
end

3. That every field in Ruby has, in addition to the above methods, a method #multiplicative_inverse defined, as in:

class << Float
  def additive_identity; 0.0 end
  alias zero additive_identity
  def add( other ); self + other end
  def additive_inverse; -self end
  def multiply( other ); self * other end
  def multiplicative_identity; 1.0 end
  alias one multiplicative_identity
  def multiplicative_inverse; 1.0 / self end
end

I am no pro mathematician, and abstract algebra first sounded to me like a kind of thing that should be treated in some specialized libraries for math nerds, but looking how Twitter pays people to write abstract algebra in Scala

https://github.com/scalaz/scalaz/blob/master/core/src/main/scala/scalaz/Monoid.scala

and reading posts like this one about it:

http://stackoverflow.com/questions/14790588/what-is-twitters-interest-in-abstract-algebra

, where especially noteworthy comment is that by Randall Schulz of box.com, fourth from the top.

If we actually require Ruby rings and fields to have the basic properties of rings and fields (just like Enumerable classes are required to have #each method), it would be possible to implement structured objects such as Matrices over them, and instead of intuitively using numeric literals such as 0 and 1, the matrix or another structured object would ask rings / fields, which their elements come from, what their #additive_identity (#zero), #multiplicative_identity (#one) is. And at the same time, I would like to express my wish that Matrix be made a standard part of Ruby, that does not need to be loaded by require.




-- 
http://bugs.ruby-lang.org/

In This Thread