세이지에서 변수 패밀리 정의하기

Question

저는 mathematica에서 sage로 스크립트를 마이그레이션하려고합니다. 나는 그것이 초등식 인 것으로 무언가에 갇혀있다.

제가

A00 + A10 * X + (A01) * y를 + (A20) * X^2 + (A11) * X * Y + ...

I 형태 말할 임의로 큰 다항식으로 작업해야 그것들을 x와 y에 대해서만 다항식이라고 생각하면, 그 다항식 P를 주어서 그 단항 물의리스트를 얻을 필요가 있습니다.

예를 들어 P = a20 * x^2 + a12 * x * y^2 인 경우 [a20 * x^2, a12 * x * y^2] 형식의 목록이 필요합니다.

나는 sage의 다항식이 계수를 반환하는 계수라는 클래스 함수와 계수없이 단항을 반환하는 monomials라는 클래스 함수라는 것을 알았습니다. 이 두리스트를 곱하면 내가 원하는 결과를 얻을 수 있습니다.

문제는이 기능이 작동하려면 항상 모든 변수를 변수로 선언해야한다는 것이 항상 가능하지는 않다는 것입니다.

[number] [number] 형식의 것이 무엇이든지 변수라고 sage에게 알리는 방법이 있습니까? 또는 sage에서 변수의 전체 패밀리를 정의 할 수있는 방법이 있습니까?

완벽한 세계에서 저는 현자가 수학자처럼 행동하게하고 싶습니다. 정의하지 않은 것은 변수로 간주되지만, 이것은 너무 낙관적입니다.

Answer 1

매우 작은 문자열 처리가 거의 필요할 것입니다. 답변

• 이 sage-support post

은 내가 말할 수있는 어떤 것보다 더 나은

유사하다 getting lists of symbolic variables

이 other way of getting them의 방법입니다. 당연히 이것을 구현하는 것이 가능하지만 ...

완벽한 세계에서 저는 현자가 수학자처럼 행동하게하고 싶습니다. 정의되지 않은 것은 변수로 간주됩니다. 그러나 나는 이것을 짐작합니다. 너무 낙관적이다.

True; 실제로, 그것은 파이썬의 (따라서 Sage의) "암묵적보다 뚜렷한"철학에 반대한다. x이 상징적 인 변수로 미리 정의되어야하는지에 대한 오랜 논쟁이있었습니다 (!).

(그리고 정직하게, 나는 오타을 얼마나 자주 주어, 내가 것 정말 오히려 하지는 임의의 점은 상징적 인 변수로 간주 될 수있다.)

Answer 2

내 대답은 완전히 당신의 질문하지만 하나의 트릭 I를 해결하지 않습니다 변수를 정의하는 것이 PolynomialRing()을 사용하는 것이 었습니다.예를 들어

sage: R = PolynomialRing(RR, 'c', 20) 
sage: c = R.gens() 
sage: pol=sum(c[i]*x^i for i in range(10));pol 
c9*x^9 + c8*x^8 + c7*x^7 + c6*x^6 + c5*x^5 + c4*x^4 + c3*x^3 + c2*x^2 + c1*x + c0 

나중에 변수 (해결하기 위해 당신이)를 정의 할 수 있습니다에, : 예를 들어

sage: variables=[SR(c[i]) for i in srange(0,len(eq_list))]; 
sage: solution = solve(eqs,variables);