Skip to content
Snippets Groups Projects
  1. Aug 02, 2015
  2. Aug 01, 2015
  3. Jul 26, 2015
  4. May 04, 2015
  5. Apr 10, 2015
    • Meredith L. Patterson's avatar
      Merge pull request #131 from michiexile/master · 33af1ec6
      Meredith L. Patterson authored
      Algebraic Generating Functions from parser
      33af1ec6
    • Mikael Vejdemo-Johansson's avatar
      Changed generating functions printouts to be copy-paste-able into SageMath. · d13657a4
      Mikael Vejdemo-Johansson authored
      Now we can do things like:
      
      # copy-paste from output
      ring.<t,L,tie,Cn,M,Ln,I,D,J,Rn,A,K,F,G> = QQ[]
      ID = ring.ideal(L - (1*Cn*t),tie - (1*Ln*t),Cn - (1*I + 1*J),M - (1*t^2),Ln - (1*D + 1*L + 1*M),I - (1*Rn*t),D - (1*Rn*t),J - (1*Ln*t),Rn - (1*F + 1*G + 1*K),A - (1*tie),K - (1*t^2),F - (1*Ln*t),G - (1*Cn*t))
      
      # we are interested in tie in terms of t; so we want to remove anything not these two:
      ID.elimination_ideal([L,Cn,M,Ln,I,D,J,Rn,A,K,F,G])
      
      # output from this SageMath command is
      # Ideal (t^3 + 2*t^2*tie + t*tie - tie) of Multivariate Polynomial Ring in t, L, tie, Cn, M, Ln, I, D, J, Rn, A, K, F, G over Rational Field
      # which we can solve for tie to get tie = t^3/(1-t-2*t^2) just as expected
      d13657a4
  6. Apr 08, 2015
  7. Apr 07, 2015
  8. Mar 15, 2015
  9. Mar 10, 2015
  10. Mar 04, 2015
  11. Feb 23, 2015
  12. Feb 13, 2015
  13. Feb 12, 2015
  14. Jan 30, 2015
  15. Jan 23, 2015
  16. Jan 05, 2015
Loading