# Ticket #3858: ref.patch

File ref.patch, 8.1 KB (added by jhpalmieri, 12 years ago)
• ## sage/calculus/calculus.py

# HG changeset patch
# User J. H. Palmieri <palmieri@math.washington.edu>
# Date 1218748819 25200
# Node ID 6e2afe97a9d8e2e288d21eb826fcf900cd7db2cb
# Parent  6946afd933b4f1b19ca2a38f722fc6db15aaa321
fixes in automatic production of reference manual from source

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/calculus/calculus.py
 a is different than the one in the interactive interpreter. Check to see that the problem with the variables method mentioned in Trac ticket #3779 is actually fixed: ticket \#3779 is actually fixed: sage: f = function('F',x) sage: diff(f*SR(1),x) diff(F(x), x, 1)
• ## sage/combinat/root_system/dynkin_diagram.py

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/combinat/root_system/dynkin_diagram.py
 a return result def __getitem__(self, i): """ r""" With a tuple (i,j) as argument, returns the scalar product $\langle \alpha^\vee_i, \alpha_j\rangle$.
• ## sage/combinat/root_system/root_system.py

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/combinat/root_system/root_system.py
 a sage: space Root lattice of the Root system of type ['B', 3] It is the free \ZZ module $\bigoplus_i \ZZ.\alpha_i$ spanned by It is the free $\ZZ$-module $\bigoplus_i \ZZ.\alpha_i$ spanned by the simple roots: sage: space.base_ring()
• ## sage/combinat/root_system/weyl_characters.py

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/combinat/root_system/weyl_characters.py
 a sage: B3 = WeylCharacterRing(['B',3]) sage: B3(1/2,1/2,1/2).mlist() [[(1/2, -1/2, -1/2), 1], [(-1/2, 1/2, -1/2), 1], [(1/2, 1/2, 1/2), 1], [(1/2, 1/2, -1/2), 1], [(-1/2, -1/2, 1/2), 1], [(-1/2, -1/2, -1/2), 1], [(1/2, -1/2, 1/2), 1], [(-1/2, 1/2, 1/2), 1]] """ # Why did the test not pass with the following indentation? #             [[( 1/2, -1/2, -1/2), 1], #              [(-1/2,  1/2, -1/2), 1], #              [(-1/2, -1/2, -1/2), 1], #              [( 1/2, -1/2,  1/2), 1], #              [(-1/2,  1/2,  1/2), 1]] """ return [[k,m] for k,m in self._mdict.iteritems()] def parent(self):
• ## sage/matrix/matrix0.pyx

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/matrix/matrix0.pyx
 a sage: parent(~1) Rational Field A matrix with 0 rows and 0 columns is invertible (see trac#3734): A matrix with 0 rows and 0 columns is invertible (see trac \#3734): sage: M = MatrixSpace(RR,0,0)(0); M [] sage: M.determinant()
• ## sage/matrix/matrix_modn_dense.pyx

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/matrix/matrix_modn_dense.pyx
 a def _unpickle(self, data, int version): """ r""" TESTS: Test for char-sized modulus:
• ## sage/modular/congroup.py

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/modular/congroup.py
 a def lift_to_sl2z(c, d, N): """ Given a vector (c, d) in (Z/NZ)^2, this function computes and Given a vector (c, d) in $(Z/NZ)^2$, this function computes and returns a list [a, b, c', d'] that defines a 2x2 matrix with determinant 1 and integer entries, such that c=c'(mod N) and d=d'(mod N). def _reduce_coset(self, uu, vv): """ r""" Compute a canonical form for a given Manin symbol. INPUT: sage: len(v) 361 This demonstrates the problem underlying trac #1220: This demonstrates the problem underlying trac \#1220: sage: G = GammaH(99, [67]) sage: G._reduce_coset(11,-3) (11, 96)
• ## sage/modular/modsym/boundary.py

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/modular/modsym/boundary.py
 a form $[P, u/v]$, where $u/v$ is a cusp for our group $G$. The group of boundary modular symbols naturally embeds into a vector space $B_k(G)$ (see Stein, section 8.4, or Merel, section 1.4, where this space is called $\mathbb{C}[\Gamma \\ \mathbb{Q}]_k$, for a definition), which is a finite dimensional $\mathbb{Q}$ vector space of dimension equal called $\CC[\Gamma \\ \QQ]_k$, for a definition), which is a finite dimensional $\QQ$ vector space of dimension equal to the number of cusps for $G$. The embedding takes $[P, u/v]$ to $P(u,v)\cdot [(u,v)]$. We represent the basis vectors by pairs [(u,v)] with u, v coprime. On $B_k(G)$, we have the relations $[\gamma \cdot (u,v)] = [(u,v)]$ for all $\gamma \in G$ and $[(\lambda u, \lambda v)] = \operatorname{sign}(\lambda)^k [(u,v)]$ for all $\lambda \in \mathbb{Q}^\times$. for all $\lambda \in \QQ^\times$. It's possible for these relations to kill a class, i.e., for a pair [(u,v)] to be 0. For example, when N=4, u=1, v=2 and k=3 then (-1,-2)
• ## sage/modular/modsym/modsym.py

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/modular/modsym/modsym.py
 a """ r""" Creation of modular symbols spaces EXAMPLES: sage: t2*t5 - t5*t2 == 0 True This tests the bug reported in trac #1220: This tests the bug reported in trac \#1220: sage: G = GammaH(36, [13, 19]) sage: G.modular_symbols() Modular Symbols space of dimension 13 for Congruence Subgroup Gamma_H(36) with H generated by [13, 19] of weight 2 with sign 0 and over Rational Field
• ## sage/modules/free_module.py

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/modules/free_module.py
 a def __len__(self): """ r""" Return the cardinality of the free module. N.B. Currently len(QQ) gives a TypeError, hence so does len(QQ^3). N.B. Currently len(QQ) gives a TypeError, hence so does len(QQ\^{}3). EXAMPLES: sage: k. = FiniteField(9) User basis matrix: [2 4 0] The following module isn't in the ambient module ZZ^3 but is contained in the ambient vector space QQ^3: The following module isn't in the ambient module $ZZ^3$ but is contained in the ambient vector space $QQ^3$: sage: V = M.ambient_vector_space() sage: W.span_of_basis([ V([1/5,2/5,0]), V([1/7,1/7,0]) ])
• ## sage/rings/real_mpfi.pyx

diff -r 6946afd933b4 -r 6e2afe97a9d8 sage/rings/real_mpfi.pyx
 a Then the interval is contained in the interval: mantissa*b^exponent - error*b^k .. mantissa*b^exponent + error*b^k $\text{mantissa}*b^{\text{exponent}} - \text{error}*b^k .. \text{mantissa}*b^{\text{exponent}} + \text{error}*b^k$ To control the printing, we can specify a maximum number of error digits.  The default is 0, which means that we do not print return x def is_int(self): """ r""" OUTPUT: bool -- True or False n -- an integer