Breeze: 첨탑 통합

감사 해요!

확실히 좋은 생각이라고 생각합니다. 기본 유형의 경우 Semiring[1]과 ClosedSemiring[2]을 보는 것이 좋습니다. 그런 다음 기본적으로 InnerProductSpace, CoordinateSpace 및 TensorSpace와 변경 가능한 변형을 포함하여 VectorSpace 계층의 모든 것이 필요합니다.

CoordinateSpace와 TensorSpace는 내가 아는 수학의 어떤 것과도 일치하지 않습니다. 전자는 기본적으로 유한 기반(또는 셀 수 있는 무한 기반... 따라서 기본적으로 함수 공간이 아님)이 있는 VectorSpaces를 위한 것이고, 후자(실제로 Tensor Space라고 불리는 것과는 다름)는 다음을 사용하여 모든 요소를 ​​줄이는 기능을 추가합니다. 임의의 기능. 실제로 MutableCoordinateSpace는 다음을 다룹니다.

유용한 또 다른 작업은 scaleAdd/axpy 작업입니다. axpy(a: S, x: T, y: T) = a * x + y, MutableVectorSpace에 대한 인플레이스 버전 포함. 추가하려고 했는데...

나는 또한 DenseVector와 DenseMatrix 사이의 관계를 설명하는 올바른 방법을 모릅니다... 생각할 것이 있습니까?

[1] https://github.com/dlwh/breeze/blob/master/math/src/main/scala/breeze/math/Semiring.scala
[2] 세미링 + 폐쇄 연산자 p* = \sum_0^\infty p^n. 확률 세미링은 1/(1-p)를 제공합니다. 일부 K에 대해 \sum_0^\infty p^n = \sum_0^K p^n인 KClosedSemirings도 있습니다.

반가워요 :) 우리는 단지 Semiring이고 닫힌 변형을 추가할 수 있는 Rig가 있습니다. 다른 수업에 대해 알아보도록 하겠습니다.

몇 가지 잠재적인 문제는 Rig(및 Ring 등)가 평등을 정의하지 않으므로 "닫기"와 같은 메서드도 누락된다는 것입니다. 나는 또한 VectorSpace에서 close 정의된 것을 보았습니다. Spire에 MetricSpace 유형 클래스를 추가하는 방법을 생각하고 있었습니다. 거리까지(NomedVectorSpaces는 암시적으로 MetricSpace를 얻습니다). 이것은 NormedVectorSpace에서 닫기 메서드를 정의하는 데 사용할 수 있으며, 암시적 ToDouble도 사용할 수 있는 경우 Rigs에 대해 사용할 수 있습니다.

어쨌든 가보면서 더 많은 질문을 하게 될 것입니다.

잘 들립니다. 감사합니다!

나는 Rig를 들어본 적이 없다. 니모닉이 뭐야? 나는 Rng가 반지라는 것을 안다.
신분은 없지만...

2012년 12월 1일 토요일 오후 9시 48분에 Tom Switzer [email protected]이 다음과 같이 작성했습니다.

반가워요 :) 우리는 단지 Semiring이고 추가할 수 있는 Rig가 있습니다.
폐쇄형. 다른 수업에 대해 알아보도록 하겠습니다.

몇 가지 잠재적인 문제는 Rig(및 Ring 등)가 정의하지 않는다는 것입니다.
평등하므로 "닫기"와 같은 메서드도 누락됩니다. 나도 가까이에서 보았다
VectorSpace에 정의되어 있습니다. MetricSpace 유형을 추가할 생각이었습니다.
클래스를 Spire로 변환하면 약 두 배의 값을 얻을 수 있습니다. 에게
거리(NomedVectorSpaces는 암시적으로 MetricSpace를 가져옴). 이것
NormedVectorSpace 및 Rigs에 대해 닫기 메서드를 정의하는 데 사용할 수 있습니다.
암시적 ToDouble도 사용할 수 있는 경우.

어쨌든 가보면서 더 많은 질문을 하게 될 것입니다.

—
이 이메일에 직접 답장하거나 Gi tHubhttps://github.com/scalanlp/breeze/issues/21#issuecomment -10926487에서 확인하세요.

'네거티브' 없이 링하세요 :)

이 패키지가 함께 모이는 것을 보고 싶습니다.

확실히 있으면 좋을 것입니다. 특히 빠른 시일 내에 도착할 수는 없을 것 같지만 방해가 되지는 않습니다!

또한 AlgeBird와의 어느 정도의 상호 운용성 및 합병은 Spier와 함께 훌륭할 것입니다.

이렇게 하면 조각화가 방지되고 AlgeBird와 Breeze를 사용하는 라이브러리 간에 더 큰 interop 문제가 발생합니다.

좋아, 나는 이것에 대해 조사하기 시작했고 몇 가지가 나를 짜증나게 하여 포기했습니다.

가장 큰 문제는 Breeze가 현재 특히 Double과 같은 기본 유형에 대해 Semiring/Rig 또는 Ring과 같은 유형 클래스 암시를 쉽게 찾을 수 있기를 원한다는 것입니다. 우리는 현재 (Semiring과 같은) 특성의 동반자에 암시적 인스턴스를 넣어 이를 달성합니다. Spire는 유형 클래스를 컴패니언에 넣지 않고 대신 패키지 개체에 넣습니다. 즉, DenseMatrix.eye와 같은 방법을 사용하려면 사이트를 사용할 때 사용자가 spire.implicits를 가져와야 하지만 현재 Breeze에서는 DenseMatrix 이외의 다른 것을 가져올 필요가 없습니다.

(편집: 내가 이것에 관심을 갖는 이유는 spire.implicits._ 가져오기 실패로 인한 컴파일러 오류가 상당히 유익하지 않기 때문이며, 추상 대수학에 정통하지 않은 Breeze 사용자가 Breeze 때문에 화를 낼 것으로 예상합니다. Double용 Rig 인스턴스를 찾을 수 없습니다.)

@non , 컴패니언 객체에

유형 클래스를 고유한 가져오기 가능한 개체로 이동한 가장 큰 이유는 그것이 PITA였기 때문입니다. 예를 들어 Ring 컴패니언 개체에 Ring[Int]이 있는 경우 Semiring[Int]는 존재하지 않습니다. 거기에 복제본을 생성하지 않는 한 아닙니다. 또는 Semiring의 컴패니언 객체에 암시적으로 Ring -> Semiring을 생성합니다. 그러나 후자의 방법은 많은 모호성을 야기했습니다. 현재 가져오기 접근 방식은 한 줄의 코드를 추가하고 모든 암시가 이제 정말 잘 작동합니다.

알겠습니다. 나는 그것을 머리로 돌리고 그것이 단지 ~ 10이라고 말할 수 있을 것 같은 느낌이 든다.
typeclass당 내장 함수에 대한 loc: 암시적 val semiring_double:
세미링[더블] = 링[더블].

그러면 다른 곳에서 말할 수 없는 양의 혼란(및 LOC)을 줄일 수 있습니다. 하지만
다른 스트로크, 나는 추측한다.

2014년 2월 3일 월요일 오전 5시 47분에 Tom Switzer [email protected]이 다음과 같이 작성했습니다.

유형 클래스를 고유한 가져오기 가능한 객체로 이동하는 가장 큰 이유
PITA였다는 것입니다. 예를 들어 링에 Ring[Int]이 있는 경우
컴패니언 객체인 경우 Semiring[Int]이 존재하지 않습니다. 우리가 만들지 않는 한
거기에 복제하십시오. 또는 Semiring에서 암시적으로 Ring -> Semiring을 생성합니다.
동반자 개체. 그러나 후자의 방법은 결국 많은
모호성. 현재 가져오기 방식은 한 줄의 코드를 추가하고 모든
이제 암시적으로 잘 작동합니다.

—
이 이메일에 직접 답장하거나 Gi tHubhttps://github.com/scalanlp/breeze/issues/21#issuecomment -33955190에서 확인하세요.
.

이에 대한 결론/업데이트가 있습니까? 세상은 이 두 개의 훌륭한 라이브러리가 결합되기를 간절히 기다리고 있습니다!

합체는 어떻게 되나요?

그렇지 않다. 누군가는 그것을 옹호해야합니다. 그럴 능력이 없어요.

2016년 11월 14일 월요일 오전 4시 44분에 Make42 [email protected]이 다음과 같이 썼습니다.

합체는 어떻게 되나요?

—
당신이 댓글을 달았기 때문에 이것을 받는 것입니다.
이 이메일에 직접 답장하고 GitHub에서 확인하세요.
https://github.com/scalanlp/breeze/issues/21#issuecomment -260325770 또는 음소거
스레드
https://github.com/notifications/unsubscribe-auth/AAAloUmzOeaAxnF7s4prlOVJevwTSHoIks5q-FetgaJpZM4ASWbN
.

(안내해 주시면 감사하겠습니다!)

2016년 11월 14일 월요일 오전 11시 27분, David Hall david.lw. [email protected]
썼다:

그렇지 않다. 누군가는 그것을 옹호해야합니다. 그럴 능력이 없어요.

2016년 11월 14일 월요일 오전 4시 44분에 Make42 [email protected]이 다음과 같이 썼습니다.

합체는 어떻게 되나요?

—
당신이 댓글을 달았기 때문에 이것을 받는 것입니다.
이 이메일에 직접 답장하고 GitHub에서 확인하세요.
https://github.com/scalanlp/breeze/issues/21#issuecomment -260325770,
또는 스레드 음소거
https://github.com/notifications/unsubscribe-auth/AAAloUmzOeaAxnF7s4prlOVJevwTSHoIks5q-FetgaJpZM4ASWbN
.

안녕하세요 @dlwh , 이것이 여전히 할 가치가 있다고 생각하십니까? 그렇다면 스스로 할 시간이 있습니까, 아니면 외부 기여를 위해 있습니까?

큰 변화입니다. 아직 발표는 안했지만 생각중입니다.
거의 곧 1.0을 자르고 주요 새로운 개발을 중단합니다.
그리고 아마도 다음을 포함할 주요 재설계 2.0을 통해
더 나은 Spire 통합. 실제 구현할 시간이 있는지 여부
주요 재설계는 또 다른 질문입니다.

2017년 12월 11일 월요일 오전 11:07, Sergei Lebedev [email protected]
썼다:

안녕하세요 @dlwh https://github.com/dlwh , 이것이 여전히 가치가 있다고 생각 하십니까?
행위? 그렇다면 스스로 할 시간이 있습니까 아니면
외부 기여?

—
당신이 언급되었기 때문에 이것을 받는 것입니다.
이 이메일에 직접 답장하고 GitHub에서 확인하세요.
https://github.com/scalanlp/breeze/issues/21#issuecomment-350824931 또는 음소거
스레드
https://github.com/notifications/unsubscribe-auth/AAAloQmH3cVn822imYfMSVjG4Z5arQf2ks5s_X1WgaJpZM4ASWbN
.