Re: [sage-support] Current advice for generic SageMath install advice

2023-04-05 Thread Hongyi Zhao


On Thursday, March 30, 2023 at 4:46:04 AM UTC+8 Matthias Koeppe wrote:

On Wednesday, March 29, 2023 at 1:33:07 PM UTC-7 Nils Bruin wrote:

On Wednesday, 29 March 2023 at 13:06:25 UTC-7 Matthias Koeppe wrote:

On Tuesday, March 28, 2023 at 10:18:23 PM UTC-7 Nils Bruin wrote:


[...] leads me to believe that it's probably nor possible to install 
pynormaliz via "make" in a binary distribution.


If you install Sage from a binary distribution, then there is no relation 
whatsoever to a source tree of Sage.

right ... with "make" it's indeed pretty clear that it's hard to find the 
place where you could even run this. With "sage -i" some idle hope was 
raised that that would still work in a binary distribution. If it doesn't 
(and/or if it never did) then that would be an extra reason to deprecate 
it. It is currently still provided:

$ sage --help
...
Sage-the-distribution options:
  --optional  -- list all optional packages that can be installed
  --experimental  -- list all experimental packages that can be 
installed
  --info [packages]   -- print the SPKG.txt or SPKG.rst of the given 
packages,
 and some additional information.
  -i [packages]   -- install the given Sage packages


This part of the help comes from build/bin/sage-site. Usually in binary 
distributions, this is not present.
On which distribution do you see this?


The latest git version compile by myself also has the above information:

werner@X10DAi:~$ sage --help | head -1
SageMath version 10.0.beta7, Release Date: 2023-04-01
werner@X10DAi:~$ sage --help | tail -6
Sage-the-distribution options:
  --optional  -- list all optional packages that can be installed
  --experimental  -- list all experimental packages that can be 
installed
  --info [packages]   -- print the SPKG.txt or SPKG.rst of the given 
packages,
 and some additional information.
  -i [packages]   -- install the given Sage packages


 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/90a7b452-f2b3-4832-8571-3d5591c47b09n%40googlegroups.com.


[sage-support] A minor error in "Changing which GAP is used, and how".

2023-04-05 Thread Hongyi Zhao
Here [1] has a little error in writing, as shown below:

werner@X10DAi:~$ SAGE_GAP_COMMAND = "/usr/local/bin/gap -s 4G" sage
SAGE_GAP_COMMAND: command not found

But the correct version should look like this, aka, without white spaces 
around the `=':

werner@X10DAi:~$ SAGE_GAP_COMMAND="/usr/local/bin/gap -s 4G" sage
┌┐
│ SageMath version 10.0.beta7, Release Date: 2023-04-01  │
│ Using Python 3.10.7. Type "help()" for help.   │
└┘
┏┓
┃ Warning: this is a prerelease version, and it may be unstable. ┃
┗┛
sage: sage.interfaces.gap.gap_cmd
'/usr/local/bin/gap -s 4G'

[1] 
https://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/gap.html#changing-which-gap-is-used-and-how

Best,
Zhao

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/6a7873e5-3013-4c52-a5e8-f9205f6dbae6n%40googlegroups.com.


Re: [sage-support] gap.console() calling problem.

2023-04-05 Thread Hongyi Zhao


On Wednesday, April 5, 2023 at 7:46:54 PM UTC+8 Dima Pasechnik wrote:

libgap.* and gap.* are different interfaces.

We are in transition away from gap.* interface, please don't use it in new 
code.

And don't mix them up in your code.


Thank you for pointing this out.
 
Best,
Zhao

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/ba6bce9c-cd86-4bc6-9d48-a4bf1d7ea500n%40googlegroups.com.


Re: [sage-support] gap.console() calling problem.

2023-04-05 Thread Hongyi Zhao


On Wednesday, April 5, 2023 at 5:49:20 PM UTC+8 Hongyi Zhao wrote:

On Wednesday, April 5, 2023 at 5:45:13 PM UTC+8 Hongyi Zhao wrote:

On Wednesday, April 5, 2023 at 5:15:05 PM UTC+8 Jan Groenewald wrote:

Hi


On Wed, 5 Apr 2023 at 10:03, Hongyi Zhao  wrote:

But other alternatives didn't work either:

sage: import sage.interfaces.gap as ggap
sage: ggap.gap_cmd="~/.local/bin/gap"
sage: ggap.console()
---
AttributeErrorTraceback (most recent call last)
Cell In [3], line 1
> 1 ggap.console()

AttributeError: module 'sage.interfaces.gap' has no attribute 'console'


Try gap_console instead of console?

0 jan@dinna-latitude:~$sage
┌┐
│ SageMath version 9.2, Release Date: 2020-10-24 │
│ Using Python 3.9.2. Type "help()" for help.│
└┘

sage: import sage.interfaces.gap as ggap
sage: *ggap.console()*
---
AttributeErrorTraceback (most recent call last)
 in 

> 1 ggap.console()

AttributeError: module 'sage.interfaces.gap' has no attribute 'console'
sage: *ggap.gap_console()*
 ┌───┐   GAP 4.11.0 of 29-Feb-2020
 │  GAP  │   https://www.gap-system.org
 └───┘   Architecture: x86_64-pc-linux-gnu-default64-kv7
 Configuration:  gmp 6.2.1, GASMAN, readline
 Loading the library and packages ...
 Packages:   Alnuth 3.1.2, AtlasRep 2.1.0, AutPGrp 1.10.2, CTblLib 1.3.1, 
 FactInt 1.6.3, GAPDoc 1.6.3, IO 4.7.0, Polycyclic 2.15.1, 
 PrimGrp 3.4.0, SmallGrp 1.4.1, TomLib 1.2.9, TransGrp 2.0.6
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> 
 


Yep. This way, even the following still works, which is inconsistent with 
the comments given by Dima previously in this discussion:


Dima is correct, as checked below:
 
sage: n = gap(20062006); n
20062006

sage: import sage.interfaces.gap as gap
sage: n = gap(20062006); n
---
TypeError Traceback (most recent call last)

Cell In [3], line 1
> 1 n = gap(Integer(20062006)); n

TypeError: 'module' object is not callable


Then, I try to do some further testing as follows, but failed:

sage: SmallGroup = libgap.SmallGroup
sage: g1 = SmallGroup(8,1)
sage: g2 = gap.SmallGroup(8,1)
: 
sage: g1==g2
---
GAPError  Traceback (most recent call last)
Cell In [18], line 1
> 1 g1==g2

File 
~/Public/repo/github.com/sagemath/sage.git/src/sage/structure/element.pyx:, 
in sage.structure.element.Element.__richcmp__()
   1109 return (self)._richcmp_(other, op)
   1110 else:
->  return coercion_model.richcmp(self, other, op)
   1112 
   1113 cpdef _richcmp_(left, right, int op):

File 
~/Public/repo/github.com/sagemath/sage.git/src/sage/structure/coerce.pyx:1973, 
in sage.structure.coerce.CoercionModel.richcmp()
   1971 # Coerce to a common parent
   1972 try:
-> 1973 x, y = self.canonical_coercion(x, y)
   1974 except (TypeError, NotImplementedError):
   1975 pass

File 
~/Public/repo/github.com/sagemath/sage.git/src/sage/structure/coerce.pyx:1315, 
in sage.structure.coerce.CoercionModel.canonical_coercion()
   1313 x_elt = x
   1314 if y_map is not None:
-> 1315 y_elt = (y_map)._call_(y)
   1316 else:
   1317 y_elt = y

File 
~/Public/repo/github.com/sagemath/sage.git/src/sage/structure/coerce_maps.pyx:161,
 
in sage.structure.coerce_maps.DefaultConvertMap_unique._call_()
159 print(type(C), C)
160 print(type(C._element_constructor), 
C._element_constructor)
--> 161 raise
162 
163 cpdef Element _call_with_args(self, x, args=(), kwds={}):

File 
~/Public/repo/github.com/sagemath/sage.git/src/sage/structure/coerce_maps.pyx:156,
 
in sage.structure.coerce_maps.DefaultConvertMap_unique._call_()
154 cdef Parent C = self._codomain
155 try:
--> 156 return C._element_constructor(x)
157 except Exception:
158 if print_warnings:

File 
~/Public/repo/github.com/sagemath/sage.git/src/sage/libs/gap/libgap.pyx:318, 
in sage.libs.gap.libgap.Gap._element_constructor_()
316 else:
317 try:
--> 318 return x._libgap_()
319 except AttributeError:
320 pass

File 
~/Public/repo/github.com/sagemath/sage.git/src/sage/structure/sage_object.pyx:731,
 
in sage.structure.sage_object.SageObject._libgap_()
729 def _libgap_(self):
730 from sage.libs.gap.libgap i

Re: [sage-support] gap.console() calling problem.

2023-04-05 Thread Hongyi Zhao


On Wednesday, April 5, 2023 at 5:45:13 PM UTC+8 Hongyi Zhao wrote:

On Wednesday, April 5, 2023 at 5:15:05 PM UTC+8 Jan Groenewald wrote:

Hi


On Wed, 5 Apr 2023 at 10:03, Hongyi Zhao  wrote:

But other alternatives didn't work either:

sage: import sage.interfaces.gap as ggap
sage: ggap.gap_cmd="~/.local/bin/gap"
sage: ggap.console()
---
AttributeErrorTraceback (most recent call last)
Cell In [3], line 1
> 1 ggap.console()

AttributeError: module 'sage.interfaces.gap' has no attribute 'console'


Try gap_console instead of console?

0 jan@dinna-latitude:~$sage
┌┐
│ SageMath version 9.2, Release Date: 2020-10-24 │
│ Using Python 3.9.2. Type "help()" for help.│
└┘

sage: import sage.interfaces.gap as ggap
sage: *ggap.console()*
---
AttributeErrorTraceback (most recent call last)
 in 

> 1 ggap.console()

AttributeError: module 'sage.interfaces.gap' has no attribute 'console'
sage: *ggap.gap_console()*
 ┌───┐   GAP 4.11.0 of 29-Feb-2020
 │  GAP  │   https://www.gap-system.org
 └───┘   Architecture: x86_64-pc-linux-gnu-default64-kv7
 Configuration:  gmp 6.2.1, GASMAN, readline
 Loading the library and packages ...
 Packages:   Alnuth 3.1.2, AtlasRep 2.1.0, AutPGrp 1.10.2, CTblLib 1.3.1, 
 FactInt 1.6.3, GAPDoc 1.6.3, IO 4.7.0, Polycyclic 2.15.1, 
 PrimGrp 3.4.0, SmallGrp 1.4.1, TomLib 1.2.9, TransGrp 2.0.6
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> 
 


Yep. This way, even the following still works, which is inconsistent with 
the comments given by Dima previously in this discussion:


Dima is correct, as checked below:
 
sage: n = gap(20062006); n
20062006
sage: import sage.interfaces.gap as gap
sage: n = gap(20062006); n
---
TypeError Traceback (most recent call last)
Cell In [3], line 1
> 1 n = gap(Integer(20062006)); n

TypeError: 'module' object is not callable



sage: import sage.interfaces.gap as gap
sage: gap.gap_cmd="~/.local/bin/gap"
sage: gap.gap_console()
: 
 ┌───┐   GAP 4.13dev-346-g577dcec built on 2023-03-15 07:28:54+0800
 │  GAP  │   https://www.gap-system.org
 └───┘   Architecture: x86_64-pc-linux-gnu-default64-kv8

 Configuration:  gmp 6.2.1, GASMAN, readline
 Loading the library and packages ...
 Packages:   AClib 1.3.2, Alnuth 3.2.1, AtlasRep 2.1.6, AutPGrp 1.11, 
Browse 1.8.18, CaratInterface 2.3.4, 
 CRISP 1.4.5, Cryst 4.1.25, CrystCat 1.1.10, CrystKit 0.1, 
CTblLib 1.3.4, curlInterface 2.3.1, 
 FactInt 1.6.3, FGA 1.4.0, Forms 1.2.9, GAPDoc 1.6.6, genss 
1.6.8, IO 4.8.0, IRREDSOL 1.4.4, 
 LAGUNA 3.9.5, orb 4.9.0, Polenta 1.3.10, Polycyclic 2.16, 
PrimGrp 3.4.2, RadiRoot 2.9, 
 recog 1.4.2, ResClasses 4.7.3, SmallGrp 1.5.1, Sophus 1.27, 
SpinSym 1.5.2, TomLib 1.2.9, 
 TransGrp 3.6.3, utils 0.81

 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> 

 

Regards,
Jan

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/0c07950a-6d5e-44c5-85c2-e5f80ee8577cn%40googlegroups.com.


Re: [sage-support] gap.console() calling problem.

2023-04-05 Thread Hongyi Zhao


On Wednesday, April 5, 2023 at 5:15:05 PM UTC+8 Jan Groenewald wrote:

Hi


On Wed, 5 Apr 2023 at 10:03, Hongyi Zhao  wrote:

But other alternatives didn't work either:

sage: import sage.interfaces.gap as ggap
sage: ggap.gap_cmd="~/.local/bin/gap"
sage: ggap.console()
---
AttributeErrorTraceback (most recent call last)
Cell In [3], line 1
> 1 ggap.console()

AttributeError: module 'sage.interfaces.gap' has no attribute 'console'


Try gap_console instead of console?

0 jan@dinna-latitude:~$sage
┌┐
│ SageMath version 9.2, Release Date: 2020-10-24 │
│ Using Python 3.9.2. Type "help()" for help.│
└┘

sage: import sage.interfaces.gap as ggap
sage: *ggap.console()*
---
AttributeErrorTraceback (most recent call last)
 in 

> 1 ggap.console()

AttributeError: module 'sage.interfaces.gap' has no attribute 'console'
sage: *ggap.gap_console()*
 ┌───┐   GAP 4.11.0 of 29-Feb-2020
 │  GAP  │   https://www.gap-system.org
 └───┘   Architecture: x86_64-pc-linux-gnu-default64-kv7
 Configuration:  gmp 6.2.1, GASMAN, readline
 Loading the library and packages ...
 Packages:   Alnuth 3.1.2, AtlasRep 2.1.0, AutPGrp 1.10.2, CTblLib 1.3.1, 
 FactInt 1.6.3, GAPDoc 1.6.3, IO 4.7.0, Polycyclic 2.15.1, 
 PrimGrp 3.4.0, SmallGrp 1.4.1, TomLib 1.2.9, TransGrp 2.0.6
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> 
 


Yep. This way, even the following still works, which is inconsistent with 
the comments given by Dima previously in this discussion:

sage: import sage.interfaces.gap as gap
sage: gap.gap_cmd="~/.local/bin/gap"
sage: gap.gap_console()
: 
 ┌───┐   GAP 4.13dev-346-g577dcec built on 2023-03-15 07:28:54+0800
 │  GAP  │   https://www.gap-system.org
 └───┘   Architecture: x86_64-pc-linux-gnu-default64-kv8
 Configuration:  gmp 6.2.1, GASMAN, readline
 Loading the library and packages ...
 Packages:   AClib 1.3.2, Alnuth 3.2.1, AtlasRep 2.1.6, AutPGrp 1.11, 
Browse 1.8.18, CaratInterface 2.3.4, 
 CRISP 1.4.5, Cryst 4.1.25, CrystCat 1.1.10, CrystKit 0.1, 
CTblLib 1.3.4, curlInterface 2.3.1, 
 FactInt 1.6.3, FGA 1.4.0, Forms 1.2.9, GAPDoc 1.6.6, genss 
1.6.8, IO 4.8.0, IRREDSOL 1.4.4, 
 LAGUNA 3.9.5, orb 4.9.0, Polenta 1.3.10, Polycyclic 2.16, 
PrimGrp 3.4.2, RadiRoot 2.9, 
 recog 1.4.2, ResClasses 4.7.3, SmallGrp 1.5.1, Sophus 1.27, 
SpinSym 1.5.2, TomLib 1.2.9, 
 TransGrp 3.6.3, utils 0.81
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'
gap> 

 

Regards,
Jan

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/2fda58aa-77e6-4002-963c-1320fc1e3d55n%40googlegroups.com.


Re: [sage-support] gap.console() calling problem.

2023-04-05 Thread Hongyi Zhao


On Wednesday, April 5, 2023 at 3:55:47 PM UTC+8 Dima Pasechnik wrote:



On Wed, 5 Apr 2023, 01:02 Hongyi Zhao,  wrote:

See my following testing:

Method 1: This works:

sage: import sage.interfaces.gap
sage: sage.interfaces.gap.gap_cmd = "~/.local/bin/gap"
sage: gap.console()

Method 2: This fails:

sage: import sage.interfaces.gap as gap


this command essentially destroys pexpect GAP
interface, as gap is a "reserved" word (except  
that Python does not have this concept)
but you redefine it.


But other alternatives didn't work either:

sage: import sage.interfaces.gap as ggap
sage: ggap.gap_cmd="~/.local/bin/gap"
sage: ggap.console()
---
AttributeErrorTraceback (most recent call last)
Cell In [3], line 1
> 1 ggap.console()

AttributeError: module 'sage.interfaces.gap' has no attribute 'console'

 




sage: gap.gap_cmd="~/.local/bin/gap"
sage: gap.console()
---
AttributeErrorTraceback (most recent call last)
Cell In [7], line 1
> 1 gap.console()

AttributeError: module 'sage.interfaces.gap' has no attribute 'console'


So, how can I switch to gap console more concisely using the python 
assigning syntax to simplify the code snippet?


Regards,
Zhao

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an 
email to sage-support...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/2e826aab-d887-437b-abe0-bbb59a1123e2n%40googlegroups.com
 
<https://groups.google.com/d/msgid/sage-support/2e826aab-d887-437b-abe0-bbb59a1123e2n%40googlegroups.com?utm_medium=email&utm_source=footer>
.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/8faf4e75-5f43-465d-b4ae-a18885201eccn%40googlegroups.com.


[sage-support] gap.console() calling problem.

2023-04-04 Thread Hongyi Zhao
See my following testing:

Method 1: This works:

sage: import sage.interfaces.gap
sage: sage.interfaces.gap.gap_cmd = "~/.local/bin/gap"
sage: gap.console()

Method 2: This fails:

sage: import sage.interfaces.gap as gap
sage: gap.gap_cmd="~/.local/bin/gap"
sage: gap.console()
---
AttributeErrorTraceback (most recent call last)
Cell In [7], line 1
> 1 gap.console()

AttributeError: module 'sage.interfaces.gap' has no attribute 'console'


So, how can I switch to gap console more concisely using the python 
assigning syntax to simplify the code snippet?

Regards,
Zhao

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/2e826aab-d887-437b-abe0-bbb59a1123e2n%40googlegroups.com.


Re: [sage-support] How to use Gap interface for permutation groups?

2023-04-04 Thread Hongyi Zhao


On Wednesday, April 5, 2023 at 2:49:39 AM UTC+8 John H Palmieri wrote:

In lengthy code, you could start with a line like

OnSets = libgap.OnSets

and then in the rest of the code, you could do `g.Stabilizer([1,2], 
OnSets)`. That is, predefine whatever you want from libgap, giving each 
item a meaningful name, and then use that name in the rest of the code.


Thanks for this tip. It does the trick:

werner@X10DAi:~$ sage 
┌┐
│ SageMath version 10.0.beta3, Release Date: 2023-03-02  │
│ Using Python 3.10.7. Type "help()" for help.   │
└┘
┏┓
┃ Warning: this is a prerelease version, and it may be unstable. ┃
┗┛
sage: g = libgap.SymmetricGroup(4)
sage: OnSets = libgap.OnSets
sage: g.Stabilizer([1,2], OnSets)
Group([ (3,4), (1,2) ])
 


On Tuesday, April 4, 2023 at 10:08:02 AM UTC-7 Hongyi Zhao wrote:

On Friday, March 31, 2023 at 1:38:47 AM UTC+8 Dima Pasechnik wrote:



On Thu, 30 Mar 2023, 18:25 'Peter Mueller' via sage-support, <
sage-s...@googlegroups.com> wrote:

When working with finite permutation groups, it seems to me that one has 
the choice to either use the groups as sage objects like 
`SymmetricGroup(4)`, or as a Gap object via `libgap.SymmetricGroup(4)`. The 
former has rather limited functionality (and quite a few bugs as reported 
earlier), so the advise was to use the latter concept.

So after setting `g = libgap.SymmetricGroup(4)`, things like 
`g.Stabilizer(1)` work as expected. However, I have difficulties to figure 
out how for instance the equivalent of the Gap code `Stabilizer(g, [1,2], 
OnSets)` would look like. Something like `g. Stabilizer([1, 2], 'OnSets')` 
raises a GapError.


it is

g. Stabilizer([1, 2], libgap.OnSets)


In lengthy code, calling too many keywords such as "libgap" is not elegant 
in my opinion.

Zhao
 


(which makes sense, as in GAP you also don't pass a string to Stabilizer, 
but you pass a GAP action)



Are these things documented somewhere? I couldn't find anything.


all we have is 
https://doc.sagemath.org/html/en/reference/libs/sage/libs/gap/libgap.html
(and source code, eg in src/sage/graphs/)

 - pull requests welcome 😁

 
Dima



-- Peter Mueller

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an 
email to sage-support...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/9702a206-d4d9-4d05-95eb-3a2b729ec4c5n%40googlegroups.com
 
<https://groups.google.com/d/msgid/sage-support/9702a206-d4d9-4d05-95eb-3a2b729ec4c5n%40googlegroups.com?utm_medium=email&utm_source=footer>
.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/b749021f-9acf-4fed-9879-ee9067d36b76n%40googlegroups.com.


Re: [sage-support] How to use Gap interface for permutation groups?

2023-04-04 Thread Hongyi Zhao


On Friday, March 31, 2023 at 1:38:47 AM UTC+8 Dima Pasechnik wrote:



On Thu, 30 Mar 2023, 18:25 'Peter Mueller' via sage-support, <
sage-s...@googlegroups.com> wrote:

When working with finite permutation groups, it seems to me that one has 
the choice to either use the groups as sage objects like 
`SymmetricGroup(4)`, or as a Gap object via `libgap.SymmetricGroup(4)`. The 
former has rather limited functionality (and quite a few bugs as reported 
earlier), so the advise was to use the latter concept.

So after setting `g = libgap.SymmetricGroup(4)`, things like 
`g.Stabilizer(1)` work as expected. However, I have difficulties to figure 
out how for instance the equivalent of the Gap code `Stabilizer(g, [1,2], 
OnSets)` would look like. Something like `g. Stabilizer([1, 2], 'OnSets')` 
raises a GapError.


it is

g. Stabilizer([1, 2], libgap.OnSets)


In lengthy code, calling too many keywords such as "libgap" is not elegant 
in my opinion.

Zhao
 


(which makes sense, as in GAP you also don't pass a string to Stabilizer, 
but you pass a GAP action)



Are these things documented somewhere? I couldn't find anything.


all we have is 
https://doc.sagemath.org/html/en/reference/libs/sage/libs/gap/libgap.html
(and source code, eg in src/sage/graphs/)

 - pull requests welcome 😁

 
Dima



-- Peter Mueller

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an 
email to sage-support...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/9702a206-d4d9-4d05-95eb-3a2b729ec4c5n%40googlegroups.com
 

.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/b8add3c8-263d-4f70-94f0-b8902e64ec67n%40googlegroups.com.


[sage-support] Debug GAP language in Sage.

2023-02-01 Thread Hongyi Zhao
Hi here,

Can I debug GAP language in Sage?

Regards,
Zhao

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/f293d4cc-3758-47b3-a926-84a7be6853ffn%40googlegroups.com.


[sage-support] Create space group using the AffineGroup provided in sagemath.

2022-08-06 Thread Hongyi Zhao
I noticed the AffineGroup command provived in sagemath, but I want to know 
if I can use this function to create a space group [2], for example, using 
the generators given here [3].

Any hints will be appreciated.

[1] 
https://doc.sagemath.org/html/en/reference/groups/sage/groups/affine_gps/affine_group.html
[2] https://en.wikipedia.org/wiki/Space_group
[3] 
https://www.cryst.ehu.es/cgi-bin/cryst/programs//nph-trgen?gnum=227&what=gen&trmat=a-1/8,b-1/8,c-1/8&unconv=F%20d%20-3%20m%20:1&from=ita

Regards,
Zhao

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/3ad174f5-bcee-426b-b5c5-245b07cac5f8n%40googlegroups.com.


Re: [sage-support] Re: Find the matrix representations corresponding to complex numbers and quaternions.

2022-07-01 Thread Hongyi Zhao


On Saturday, July 2, 2022 at 2:49:25 AM UTC+8 raymond@gmail.com wrote:

> You (hongy) might be interested in 
> Matrix Groups (Universitext) 2nd Edition
> by M. L. Curtis (Author)
> Which is a pretty good introduction; although the price is a little high.  
>
Thank you for letting know this book [1]. The first chapter of the book 
talks about the problem discussed here.

[1] https://link.springer.com/book/10.1007/978-1-4684-0093-9

Best,
HZ
 

> On 7/1/22 13:38, John H Palmieri wrote:
>
> Is this the sort of thing you're looking for?
>
> def matrix_rep(z):
> """
> INPUT: complex number z = a + bi
> OUTPUT: the matrix
>[a -b]
>[b  a]
> """
> a = z.real_part()
> b = z.imag_part()
> return matrix(RR, [[a, -b], [b, a]])
>
> On Friday, July 1, 2022 at 3:04:40 AM UTC-7 hongy...@gmail.com wrote:
>
>> How can I find the matrix representations corresponding to complex 
>> numbers and quaternions with the help of SageMath 
>> , i.e., the ring isomorphism 
>>  from the field of 
>> complex numbers and quaternions to the rings of corresponding matrices, 
>> respectively, as described here 
>> 
>>  
>> and here 
>> ?
>>
>> Regards,
>> HZ
>>
> -- 
> You received this message because you are subscribed to the Google Groups 
> "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to sage-support...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-support/143f4daf-9e77-4b1b-92f4-ab8cde91a1bbn%40googlegroups.com
>  
> 
> .
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/1537fb2a-f3c8-422b-91fd-2ecd86e5cf29n%40googlegroups.com.


[sage-support] Re: Find the matrix representations corresponding to complex numbers and quaternions.

2022-07-01 Thread Hongyi Zhao


On Saturday, July 2, 2022 at 1:38:59 AM UTC+8 John H Palmieri wrote:

> Is this the sort of thing you're looking for?
>
> def matrix_rep(z):
> """
> INPUT: complex number z = a + bi
> OUTPUT: the matrix
>[a -b]
>[b  a]
> """
> a = z.real_part()
> b = z.imag_part()
> return matrix(RR, [[a, -b], [b, a]])
>

I want to identify the ring isomorphism between them programmatically, 
instead of defining a function based on this ring isomorphism.

Best,
HZ
 

>
> On Friday, July 1, 2022 at 3:04:40 AM UTC-7 hongy...@gmail.com wrote:
>
>> How can I find the matrix representations corresponding to complex 
>> numbers and quaternions with the help of SageMath 
>> , i.e., the ring isomorphism 
>>  from the field of 
>> complex numbers and quaternions to the rings of corresponding matrices, 
>> respectively, as described here 
>> 
>>  
>> and here 
>> ?
>>
>> Regards,
>> HZ
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/0f6a9fab-2f64-44f6-b1ca-07f43525090dn%40googlegroups.com.


[sage-support] Find the matrix representations corresponding to complex numbers and quaternions.

2022-07-01 Thread Hongyi Zhao
How can I find the matrix representations corresponding to complex numbers 
and quaternions with the help of SageMath , 
i.e., the ring isomorphism  
from the field of complex numbers and quaternions to the rings of 
corresponding matrices, respectively, as described here 

 
and here ?

Regards,
HZ

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/94389048-17b0-486d-a576-fe07953e807bn%40googlegroups.com.


[sage-support] Create the groups which are given as the vector space (or module) over integers.

2022-06-10 Thread Hongyi Zhao
For crystallographic space groups, say, the diamond structure, we have the 
following information, as described here [1].

The primitive cell lattice vectors can be defined as follows:

 a1 = (0, 1/2, 1/2), a2 = (1/2, 0, 1/2), a3 = (1/2, 1/2, 0)

The translation vectors, can be selected as follows:

t0 = (0, 0, 0), t1 = (0, 1/2, 1/2), t2 = (1/2, 0, 1/2), t3 = (1/2, 1/2, 0)

The above-mentioned translation vectors can be used to extend the primitive 
cell to the larger conventional cell, which has the following lattice 
vectors:

b1   = (1, 0, 0), b2   = (0, 1, 0), b3   = (0, 0, 1)

It is well known that the above specific set of vectors can be studied by 
the group theory method, say by lattice [2], or by the groups of vector 
space (or module) over integers

Having said that, I still feel that using such group tools to study the 
problem described here is quite difficult. Any hints/tips will be highly 
appreciated.

[1] https://en.wikipedia.org/wiki/Unit_cell
[2] https://en.wikipedia.org/wiki/Lattice_(group)

Regards,
HZ

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/5b42a54b-96fe-4e78-aa7e-bdabe04850c5n%40googlegroups.com.


[sage-support] Re: Create the Lorentz group in Sagemath.

2022-06-01 Thread Hongyi Zhao


On Wednesday, June 1, 2022 at 2:34:26 PM UTC+8 Nils Bruin wrote:

> On Wednesday, 1 June 2022 at 05:41:33 UTC+2 hongy...@gmail.com wrote:
>
>> On Wednesday, June 1, 2022 at 1:55:45 AM UTC+8 Nils Bruin wrote:
>>
>>> The "GO" mentioned here should correspond to the O(3;1) (or perhaps 
>>> O(1;3) ) mentioned in the wikipedia article.
>>>
>>
>> Do you mean that these two ways of writing are a matter of convention?
>>
>
> setting t,x,y,z as coordinates on 4-space, O(3;1) is the group of matrices 
> preserving the quadratic form t^2+x^2+y^2-z^2 (three plusses, one minus) 
> and O(1;3) the group of matrices preserving the quadratic form 
> t^2-x^2-y^2-z^2 (one plus, three minuses).
> Hence, the definitions of the two groups are different: it's not just 
> convention. The two groups are isomorphic, though, and one isomorphism is 
> given by swapping t and z.
>
>
Thank you for your explanation and clarification.

Regards,
HZ

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/661e7ba9-7207-4994-b069-191839b5978fn%40googlegroups.com.


[sage-support] Re: Create the Lorentz group in Sagemath.

2022-05-31 Thread Hongyi Zhao


On Wednesday, June 1, 2022 at 1:55:45 AM UTC+8 Nils Bruin wrote:

> The "GO" mentioned here should correspond to the O(3;1) (or perhaps O(1;3) 
> ) mentioned in the wikipedia article.
>

Do you mean that these two ways of writing are a matter of convention?
 

>
> The problem with the "real numbers" is that representing many elements 
> exactly in it is complicated. For many algebraic questions, you can 
> probably get away with considering the group over Q (or some finite 
> extensions).
>

The Lorentz group is a physical problem, not just a pure algebraic problem, so, 
I am not sure whether this simplified treatment can meet the needs of the 
problem in any case.


> I'm not entirely sure if the connected component SO^+ is readily 
> implemented in sage.
>
> "creation" of a mathematical object (particularly an infinite one) is a 
> rather relative notion anyway: technically speaking
>
> class LorentzGroup:
> pass
>
> can be passed off as a class whose instances represent the Lorentz group: 
> there are just many features that haven't been implemented (yet). It's 
> probably worth checking if the object described above meets your needs.
>

You only gave the above two lines of code, so I don't know what you mean 
here.

If not, then describing a little more about what you need might help an 
> expert in giving you further tips.
>

Yours,
Hongyi
 

> On Tuesday, 31 May 2022 at 08:43:54 UTC+2 hongy...@gmail.com wrote:
>
>> On Sunday, May 29, 2022 at 6:27:18 PM UTC+8 Nils Bruin wrote:
>>
>>> It depends a little on what coefficients you want. If you're happy with 
>>> rational numbers then this should do the trick:
>>>
>>
>> As far as the Lorentz group is concerned, I think it should be 
>> constructed on real numbers filed in general, but I'm not sure if sage math 
>> has the corresponding implementation on real numbers filed.
>>  
>>
>>>
>>> G = diagonal_matrix(QQ,4,[-1,1,1,1])
>>> lorentz_group = GO(4,QQ,invariant_form=G)
>>>
>>> which just constructs the group of (in this case QQ-valued) matrices 
>>> that preserve the quadratic form -t^2+x^2+y^2+z^2. Depending on what you 
>>> actually want to do with it, you may be more interested in SO
>>>
>>
>> SO only includes the part where the determinant is equal to 1 in GO, 
>> which is not in line with the requirements of Lorentz group, IMO.
>>
>> or perhaps the construction of its lie group/algebra.
>>>
>>
>> The Lorentz group is *a Lie group of symmetries of the spacetime of 
>> special relativity, as described here* [1]. So, I'm not sure if your 
>> above code snippet also corresponds to a *Lie group.*
>>
>> [1] 
>> https://en.wikipedia.org/wiki/Representation_theory_of_the_Lorentz_group 
>>
>> Regards,
>> HZ
>>  
>>
>>>
>>> On Thursday, 26 May 2022 at 09:11:55 UTC+2 hongy...@gmail.com wrote:
>>>
 How can I create the Lorentz group, as described here [1], in Sage math?

 [1] https://en.wikipedia.org/wiki/Lorentz_group#Basic_properties

 Regards,
 HZ



-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/1ab5e711-df56-4fa2-8d86-75b18c4d650en%40googlegroups.com.


[sage-support] Re: Create the Lorentz group in Sagemath.

2022-05-30 Thread Hongyi Zhao


On Sunday, May 29, 2022 at 6:27:18 PM UTC+8 Nils Bruin wrote:

> It depends a little on what coefficients you want. If you're happy with 
> rational numbers then this should do the trick:
>

As far as the Lorentz group is concerned, I think it should be constructed 
on real numbers filed in general, but I'm not sure if sage math has the 
corresponding implementation on real numbers filed.
 

>
> G = diagonal_matrix(QQ,4,[-1,1,1,1])
> lorentz_group = GO(4,QQ,invariant_form=G)
>
> which just constructs the group of (in this case QQ-valued) matrices that 
> preserve the quadratic form -t^2+x^2+y^2+z^2. Depending on what you 
> actually want to do with it, you may be more interested in SO
>

SO only includes the part where the determinant is equal to 1 in GO, which 
is not in line with the requirements of Lorentz group, IMO.

or perhaps the construction of its lie group/algebra.
>

The Lorentz group is *a Lie group of symmetries of the spacetime of special 
relativity, as described here* [1]. So, I'm not sure if your above code 
snippet also corresponds to a *Lie group.*

[1] 
https://en.wikipedia.org/wiki/Representation_theory_of_the_Lorentz_group 

Regards,
HZ
 

>
> On Thursday, 26 May 2022 at 09:11:55 UTC+2 hongy...@gmail.com wrote:
>
>> How can I create the Lorentz group, as described here [1], in Sage math?
>>
>> [1] https://en.wikipedia.org/wiki/Lorentz_group#Basic_properties
>>
>> Regards,
>> HZ
>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/ffb54100-70e8-4aab-9885-b99b2f6d6ca9n%40googlegroups.com.


[sage-support] Create the Lorentz group in Sagemath.

2022-05-26 Thread Hongyi Zhao
How can I create the Lorentz group, as described here [1], in Sage math?

[1] https://en.wikipedia.org/wiki/Lorentz_group#Basic_properties

Regards,
HZ

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/d9c25afc-ad4a-4c8f-8582-a68f318c62afn%40googlegroups.com.


Re: [sage-support] Creat fp group using addition relation.

2022-05-25 Thread Hongyi Zhao


On Wednesday, May 25, 2022 at 6:22:48 PM UTC+8 wdjo...@gmail.com wrote:

> On Wed, May 25, 2022 at 6:08 AM Hongyi Zhao  wrote: 
> > 
> > As commented here [1], the following two methods can be used to define 
> an Cyclic Group: 
> > 
> > ``` 
> > Generators 
> > If the group operation is multiplication then: 
> >  
> > If the group operation is addition then: 
> >  
> > ``` 
> > 
> > For the first case, the corresponding code snippet in GAP is as follows: 
> > 
> > ``` 
> > gap> f:=FreeGroup("P");; 
> > gap> g:=f/ParseRelators(f, "P^8" ); 
> >  
> > gap> StructureDescription(g); 
> > "C8" 
> > ``` 
> > 
> > But I'm not sure if GAP also supports the second method mentioned above 
> to define a group. 
> > 
>
> While SageMath does use GAP for a lot of group theory, it uses different 
> command 
> syntax for cyclic groups. In SageMath, you can use both 
> CyclicPermutationGroup(8) 
> for the multiplicative cyclic group of order 8, or 
> IntegerModRing(8) 
> for the additive version.


Thank you for your tips and tricks. In fact, I'm working in SageMath with 
GAP, so I'm interested in the additive version implemented in GAP, and am 
not sure if it also such a counterpart.

Best,
HZ
 

> Please see the additional examples given in 
> the tutorials 
> https://doc.sagemath.org/html/en/thematic_tutorials/group_theory.html 
> and 
> https://doc.sagemath.org/html/en/constructions/groups.html 
>
>
> > [1] 
> http://www.euclideanspace.com/maths/discrete/groups/categorise/types/abelian/cyclic/index.htm
>  
> > 
> > Regards, 
> > HZ 
> > 
> > -- 
> > You received this message because you are subscribed to the Google 
> Groups "sage-support" group. 
> > To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-support...@googlegroups.com. 
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-support/2115f35e-b2a8-406d-87a7-0c7748b636e1n%40googlegroups.com.
>  
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/6ad8b899-b3c5-4b8e-89ed-9065698660e6n%40googlegroups.com.


[sage-support] Creat fp group using addition relation.

2022-05-25 Thread Hongyi Zhao
As commented here [1], the following two methods  can be used to define an 
Cyclic Group:

```
Generators
If the group operation is multiplication then:

If the group operation is addition then:

```

For the first case, the corresponding code snippet in GAP is as follows:

```
gap> f:=FreeGroup("P");;
gap> g:=f/ParseRelators(f, "P^8" );

gap> StructureDescription(g);
"C8"
```

But I'm not sure if GAP also supports the second method mentioned above to 
define a group.

[1] 
http://www.euclideanspace.com/maths/discrete/groups/categorise/types/abelian/cyclic/index.htm

Regards,
HZ

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/2115f35e-b2a8-406d-87a7-0c7748b636e1n%40googlegroups.com.


Re: [sage-support] Re: Symbolic Fourier transform in sagemath.

2021-06-04 Thread Hongyi Zhao


On Friday, June 4, 2021 at 10:03:47 PM UTC+8 Emmanuel Charpentier wrote:

> Le samedi 29 mai 2021 à 01:16:21 UTC+2, hongy...@gmail.com a écrit :
>
>> On Saturday, May 29, 2021 at 1:01:38 AM UTC+8 dim...@gmail.com wrote:
>>
>>> On Fri, May 28, 2021 at 5:38 PM Hongyi Zhao  wrote: 
>>> > 
>>> > 
>>> > 
>>> > On Friday, May 28, 2021 at 8:19:07 PM UTC+8 Emmanuel Charpentier 
>>> wrote: 
>>> >> 
>>> >> This can be computed “by hand” using (one of) the textbook 
>>> definition(s) : 
>>> >> 
>>> >> sage: var("omega, s") 
>>> >> (omega, s) 
>>> >> sage: integrate(sin(x^2)*e^(-I*s*x), x, -oo, oo) 
>>> >> 1/2*sqrt(2)*sqrt(pi)*cos(1/4*s^2) - 1/2*sqrt(2)*sqrt(pi)*sin(1/4*s^2) 
>>> >> 
>>> >> Both sympy and giac have implementations of this transform : 
>>> >> 
>>> >> sage: from sympy import fourier_transform, sympify 
>>> >> sage: fourier_transform(*map(sympify, (sin(x^2),x, s)))._sage_() 
>>> >> 1/2*sqrt(2)*sqrt(pi)*(cos(pi^2*s^2) - sin(pi^2*s^2)) 
>>> >> sage: libgiac.fourier(*map(lambda u:u._giac_(), (sin(x^2), x, 
>>> s))).sage() 
>>> >> 1/2*sqrt(2)*sqrt(pi)*(cos(1/4*s^2) - sin(1/4*s^2)) 
>>> >> 
>>> >> which do not follow the same definitions… But beware : they may be 
>>> more or less wrong : 
>>> >> 
>>> >> sage: integrate(sin(x)*e^(-I*s*x), x, -oo, oo).factor() 
>>> >> undef # Wrong 
>>> >> sage: fourier_transform(*map(sympify, (sin(x),x, s)))._sage_() 
>>> >> 0 # Wrong AND misleading 
>>> >> sage: libgiac.fourier(*map(lambda u:u._giac_(), (sin(x), x, 
>>> s))).sage() 
>>> >> I*pi*dirac_delta(s + 1) - I*pi*dirac_delta(s - 1) # Better... 
>>> >> 
>>> >> BTW: 
>>> >> 
>>> >> sage: mathematica.FourierTransform(sin(x^2), x, s).sage().factor() 
>>> >> 1/2*cos(1/4*s^2) - 1/2*sin(1/4*s^2) 
>>> >> sage: mathematica.FourierTransform(sin(x), x, s).sage().factor() 
>>> >> -1/2*I*sqrt(2)*sqrt(pi)*(dirac_delta(s + 1) - dirac_delta(s - 1)) 
>>> > 
>>> > But what I got is different from yours: 
>>> > 
>>> > sage: var("omega, s") 
>>> > (omega, s) 
>>> > sage: mathematica.FourierTransform(sin(x), x, s).sage().factor() 
>>> > -I*(dirac_delta(s + 1) - dirac_delta(s - 1))*Sqrt(1/2*pi) 
>>>
>>> this depends of a version of Mathematica 
>>>
>>
>> Is there a convenient way to prove they are the equivalent forms in sage?
>>
>
> Yep, with a bit of cut’n paste (since both foms can’t be obtained from the 
> same Mathematica installation) :
>
> sage: var("x, s")
> (x, s)
> sage: a="-I*(dirac_delta(s + 1) - dirac_delta(s - 1))*sqrt(1/2*pi)" # 
> text representatin of yours.
> sage: b="-1/2*I*sqrt(2)*sqrt(pi)*(dirac_delta(s + 1) - dirac_delta(s - 1))" # 
> text representation of mine.
> sage: bool(eval(a)==eval(b))
> True
>
> ​
>
> This should do it...
>
>
Thanks a lot. It does the trick.

HY

 

> HY
>>
>>>
>>> > 
>>> > BTW: 
>>> > 
>>> > How to input the sage computation representation as the code style 
>>> just like what you've posted? 
>>> > 
>>> > HY 
>>> > 
>>> >> 
>>> >> HTH, 
>>> >> 
>>> >> Le dimanche 23 mai 2021 à 03:22:06 UTC+2, hongy...@gmail.com a écrit 
>>> : 
>>> >>> 
>>> >>> It seems that all the Fourier transform methods implemented in 
>>> sagemath is numeric, instead of symbolic/analytic. 
>>> >>> 
>>> >>> I want to know whether there are some symbolic/analytic Fourier 
>>> transform functions, just as we can do in mathematica, in sagemath? 
>>> >>> 
>>> >>> I want to know if there are some symbolic/analytical Fourier 
>>> transform functions available in sagemath, just as the ones in mathematica? 
>>> >>> 
>>> >>> Regards, 
>>> >>> HY 
>>> >>> 
>>> > -- 
>>> > You received this message because you are subscribed to the Google 
>>> Groups "sage-support" group. 
>>> > To unsubscribe from this group and stop receiving emails from it, send 
>>> an email to sage-support...@googlegroups.com. 
>>> > To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/sage-support/84095de0-8726-4194-a84f-f2f0c5c876c3n%40googlegroups.com.
>>>  
>>>
>>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/d2402996-81a1-406e-8b0e-21f7eeb0ab5bn%40googlegroups.com.


Re: [sage-support] Re: Symbolic Fourier transform in sagemath.

2021-05-28 Thread Hongyi Zhao


On Saturday, May 29, 2021 at 1:01:38 AM UTC+8 dim...@gmail.com wrote:

> On Fri, May 28, 2021 at 5:38 PM Hongyi Zhao  wrote: 
> > 
> > 
> > 
> > On Friday, May 28, 2021 at 8:19:07 PM UTC+8 Emmanuel Charpentier wrote: 
> >> 
> >> This can be computed “by hand” using (one of) the textbook 
> definition(s) : 
> >> 
> >> sage: var("omega, s") 
> >> (omega, s) 
> >> sage: integrate(sin(x^2)*e^(-I*s*x), x, -oo, oo) 
> >> 1/2*sqrt(2)*sqrt(pi)*cos(1/4*s^2) - 1/2*sqrt(2)*sqrt(pi)*sin(1/4*s^2) 
> >> 
> >> Both sympy and giac have implementations of this transform : 
> >> 
> >> sage: from sympy import fourier_transform, sympify 
> >> sage: fourier_transform(*map(sympify, (sin(x^2),x, s)))._sage_() 
> >> 1/2*sqrt(2)*sqrt(pi)*(cos(pi^2*s^2) - sin(pi^2*s^2)) 
> >> sage: libgiac.fourier(*map(lambda u:u._giac_(), (sin(x^2), x, 
> s))).sage() 
> >> 1/2*sqrt(2)*sqrt(pi)*(cos(1/4*s^2) - sin(1/4*s^2)) 
> >> 
> >> which do not follow the same definitions… But beware : they may be more 
> or less wrong : 
> >> 
> >> sage: integrate(sin(x)*e^(-I*s*x), x, -oo, oo).factor() 
> >> undef # Wrong 
> >> sage: fourier_transform(*map(sympify, (sin(x),x, s)))._sage_() 
> >> 0 # Wrong AND misleading 
> >> sage: libgiac.fourier(*map(lambda u:u._giac_(), (sin(x), x, s))).sage() 
> >> I*pi*dirac_delta(s + 1) - I*pi*dirac_delta(s - 1) # Better... 
> >> 
> >> BTW: 
> >> 
> >> sage: mathematica.FourierTransform(sin(x^2), x, s).sage().factor() 
> >> 1/2*cos(1/4*s^2) - 1/2*sin(1/4*s^2) 
> >> sage: mathematica.FourierTransform(sin(x), x, s).sage().factor() 
> >> -1/2*I*sqrt(2)*sqrt(pi)*(dirac_delta(s + 1) - dirac_delta(s - 1)) 
> > 
> > But what I got is different from yours: 
> > 
> > sage: var("omega, s") 
> > (omega, s) 
> > sage: mathematica.FourierTransform(sin(x), x, s).sage().factor() 
> > -I*(dirac_delta(s + 1) - dirac_delta(s - 1))*Sqrt(1/2*pi) 
>
> this depends of a version of Mathematica 
>

Is there a convenient way to prove they are the equivalent forms in sage?

HY

>
> > 
> > BTW: 
> > 
> > How to input the sage computation representation as the code style just 
> like what you've posted? 
> > 
> > HY 
> > 
> >> 
> >> HTH, 
> >> 
> >> Le dimanche 23 mai 2021 à 03:22:06 UTC+2, hongy...@gmail.com a écrit : 
> >>> 
> >>> It seems that all the Fourier transform methods implemented in 
> sagemath is numeric, instead of symbolic/analytic. 
> >>> 
> >>> I want to know whether there are some symbolic/analytic Fourier 
> transform functions, just as we can do in mathematica, in sagemath? 
> >>> 
> >>> I want to know if there are some symbolic/analytical Fourier transform 
> functions available in sagemath, just as the ones in mathematica? 
> >>> 
> >>> Regards, 
> >>> HY 
> >>> 
> > -- 
> > You received this message because you are subscribed to the Google 
> Groups "sage-support" group. 
> > To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-support...@googlegroups.com. 
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-support/84095de0-8726-4194-a84f-f2f0c5c876c3n%40googlegroups.com.
>  
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/6ab4a610-d772-4a21-8b96-739e6fde6130n%40googlegroups.com.


[sage-support] Re: Symbolic Fourier transform in sagemath.

2021-05-28 Thread Hongyi Zhao


On Friday, May 28, 2021 at 8:19:07 PM UTC+8 Emmanuel Charpentier wrote:

> This can be computed “by hand” using (one of) the textbook definition(s) :
>
> sage: var("omega, s")
> (omega, s)
> sage: integrate(sin(x^2)*e^(-I*s*x), x, -oo, oo)
> 1/2*sqrt(2)*sqrt(pi)*cos(1/4*s^2) - 1/2*sqrt(2)*sqrt(pi)*sin(1/4*s^2)
>
> Both sympy and giac have implementations of this transform :
>
> sage: from sympy import fourier_transform, sympify
> sage: fourier_transform(*map(sympify, (sin(x^2),x, s)))._sage_()
> 1/2*sqrt(2)*sqrt(pi)*(cos(pi^2*s^2) - sin(pi^2*s^2))
> sage: libgiac.fourier(*map(lambda u:u._giac_(), (sin(x^2), x, s))).sage()
> 1/2*sqrt(2)*sqrt(pi)*(cos(1/4*s^2) - sin(1/4*s^2))
>
> which do not follow the same definitions… But beware : they may be more or 
> less wrong :
>
> sage: integrate(sin(x)*e^(-I*s*x), x, -oo, oo).factor()
> undef # Wrong
> sage: fourier_transform(*map(sympify, (sin(x),x, s)))._sage_()
> 0 # Wrong AND misleading
> sage: libgiac.fourier(*map(lambda u:u._giac_(), (sin(x), x, s))).sage()
> I*pi*dirac_delta(s + 1) - I*pi*dirac_delta(s - 1) # Better...
>
> BTW:
>
> sage: mathematica.FourierTransform(sin(x^2), x, s).sage().factor()
> 1/2*cos(1/4*s^2) - 1/2*sin(1/4*s^2)
> sage: mathematica.FourierTransform(sin(x), x, s).sage().factor()
> -1/2*I*sqrt(2)*sqrt(pi)*(dirac_delta(s + 1) - dirac_delta(s - 1))
>
> But what I got is different from yours:

sage: sage: var("omega, 
s")
(omega, s)
sage: mathematica.FourierTransform(sin(x), x, 
s).sage().factor()   
-I*(dirac_delta(s + 1) - dirac_delta(s - 1))*Sqrt(1/2*pi)

 BTW:

How to input the sage computation representation as the code style just 
like what you've posted?

HY
 

> HTH,
> ​
> Le dimanche 23 mai 2021 à 03:22:06 UTC+2, hongy...@gmail.com a écrit :
>
>> It seems that all the Fourier transform methods implemented in sagemath 
>> is numeric, instead of symbolic/analytic.
>>
>> I want to know whether there are some symbolic/analytic Fourier transform 
>> functions, just as we can do in mathematica, in sagemath?
>>
>> I want to know if there are some symbolic/analytical Fourier transform 
>> functions available in sagemath, just as the ones in mathematica?
>>
>> Regards,
>> HY
>>
>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/84095de0-8726-4194-a84f-f2f0c5c876c3n%40googlegroups.com.


[sage-support] Symbolic Fourier transform in sagemath.

2021-05-22 Thread Hongyi Zhao
It seems that all the Fourier transform methods implemented in sagemath is 
numeric, instead of symbolic/analytic.

I want to know whether there are some symbolic/analytic Fourier transform 
functions, just as we can do in mathematica, in sagemath?

I want to know if there are some symbolic/analytical Fourier transform 
functions available in sagemath, just as the ones in mathematica?

Regards,
HY

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/1e25c7f8-4ed8-4023-9cda-872cf095b30cn%40googlegroups.com.


Re: [sage-support] How to set the default pretty printing behaviour for sage?

2021-05-19 Thread Hongyi Zhao


On Wednesday, May 19, 2021 at 4:57:21 PM UTC+8 dim...@gmail.com wrote:

> On Wed, May 19, 2021 at 9:53 AM Hongyi Zhao  wrote: 
> > 
> > 
> > 
> > On Tuesday, May 18, 2021 at 9:53:44 PM UTC+8 dim...@gmail.com wrote: 
> >> 
> >> 
> >> 
> >> On Tue, 18 May 2021, 14:36 Hongyi Zhao,  wrote: 
> >>> 
> >>> 
> >>> 
> >>> On Tuesday, May 18, 2021 at 6:31:08 PM UTC+8 dim...@gmail.com wrote: 
> >>>> 
> >>>> 
> >>>> 
> >>>> On Tue, 18 May 2021, 10:38 Hongyi Zhao,  wrote: 
> >>>>> 
> >>>>> 
> >>>>> 
> >>>>> On Tuesday, May 18, 2021 at 2:52:04 PM UTC+8 dim...@gmail.com 
> wrote: 
> >>>>>> 
> >>>>>> You can just load sage in ipython: 
> >>>>>> 
> >>>>>> ./sage --ipython 
> >>>>>> 
> >>>>>> and at ipython prompt do 
> >>>>>> 
> >>>>>> from sage.all import * 
> >>>>> 
> >>>>> 
> >>>>> Really, it does the trick. 
> >>>>> 
> >>>>>> 
> >>>>>> 
> >>>>>> (note this does not load sage's preparser, i.e. you won't be able 
> to use ^ instead of **, etc) 
> >>>>> 
> >>>>> 
> >>>>> Thank you. When using the `--ipython` option to call sage, can I 
> still have the magical function of the sage at the same time? 
> >>>> 
> >>>> 
> >>>> all what sage --ipython does is running a iPython which has sage 
> modules available. 
> >>>> 
> >>>> some Sage magic is actually iPython, afaik. 
> >>> 
> >>> 
> >>> But, as you have told, not all, say, for power calculation, ^ sign 
> only works in sage. 
> >> 
> >> 
> >> Indeed, that is what I said - you have iPython magic, yes, but not 
> Sage's syntax extensions. (you can still explicitly call Sage's preparser 
> to convert Sage code into Python) 
> > 
> > 
> > How to do that? What's the exact code/command? 
> look up docs on 
>
> preparse 
>
> and 
>
> preparser 
>


Thank you for your hints. I find the pertinent documentation here: 
<https://doc.sagemath.org/html/en/reference/repl/sage/repl/preparse.html>.

Regards,
HY

 

> > 
> > HY 
> > 
> >>> 
> >>> 
> >>>>> 
> >>>>> 
> >>>>> Regards, 
> >>>>> HY 
> >>>>> 
> >>>>>> 
> >>>>>> 
> >>>>>> On Tue, 18 May 2021, 06:27 Hongyi Zhao,  
> wrote: 
> >>>>>>> 
> >>>>>>> 
> >>>>>>> I want to obtain the similar behavior in sage for pretty printing 
> as in ipython. Any hints will be highly appreciated. 
> >>>>>>> 
> >>>>>>> Regards, 
> >>>>>>> HY 
> >>>>>>> 
> >>>>>>> -- 
> >>>>>>> You received this message because you are subscribed to the Google 
> Groups "sage-support" group. 
> >>>>>>> To unsubscribe from this group and stop receiving emails from it, 
> send an email to sage-support...@googlegroups.com. 
> >>>>>>> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-support/99bb367f-7564-4736-804c-5d942b1f1773n%40googlegroups.com.
>  
>
> >>>>> 
> >>>>> -- 
> >>>>> You received this message because you are subscribed to the Google 
> Groups "sage-support" group. 
> >>>>> To unsubscribe from this group and stop receiving emails from it, 
> send an email to sage-support...@googlegroups.com. 
> >>>>> 
> >>>>> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-support/7c3b1bad-afd2-4da0-9748-c6c9dc710204n%40googlegroups.com.
>  
>
> >>> 
> >>> -- 
> >>> You received this message because you are subscribed to the Google 
> Groups "sage-support" group. 
> >>> To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-support...@googlegroups.com. 
> >>> 
> >>> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-support/8db460ee-9c2c-449f-97c9-e13695a82dc3n%40googlegroups.com.
>  
>
> > 
> > -- 
> > You received this message because you are subscribed to the Google 
> Groups "sage-support" group. 
> > To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-support...@googlegroups.com. 
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-support/9f932177-4e50-4045-9439-5e3fa681d2c7n%40googlegroups.com.
>  
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/8acc7b64-e2bf-41a2-ac62-54b6a54fc51fn%40googlegroups.com.


Re: [sage-support] How to set the default pretty printing behaviour for sage?

2021-05-19 Thread Hongyi Zhao


On Tuesday, May 18, 2021 at 9:53:44 PM UTC+8 dim...@gmail.com wrote:

>
>
> On Tue, 18 May 2021, 14:36 Hongyi Zhao,  wrote:
>
>>
>>
>> On Tuesday, May 18, 2021 at 6:31:08 PM UTC+8 dim...@gmail.com wrote:
>>
>>>
>>>
>>> On Tue, 18 May 2021, 10:38 Hongyi Zhao,  wrote:
>>>
>>>>
>>>>
>>>> On Tuesday, May 18, 2021 at 2:52:04 PM UTC+8 dim...@gmail.com wrote:
>>>>
>>>>> You can just load sage in ipython:
>>>>>
>>>>> ./sage --ipython
>>>>>
>>>>> and at ipython prompt do
>>>>>
>>>>> from sage.all import *
>>>>>
>>>>
>>>> Really, it does the trick.
>>>>
>>>>
>>>>>
>>>>> (note this does not load sage's preparser, i.e. you won't be able to 
>>>>> use ^ instead of **, etc)
>>>>>
>>>>
>>>> Thank you. When using the `--ipython` option to call sage, can I still 
>>>> have the magical function of the sage at the same time?
>>>>
>>>
>>> all what sage --ipython does is running a iPython which has sage modules 
>>> available.
>>>
>>> some Sage magic is actually iPython, afaik.
>>>
>>
>> But, as you have told, not all, say, for power calculation, ^ sign only 
>> works in sage.
>>
>
> Indeed, that is what I said - you have iPython magic, yes, but not Sage's 
> syntax extensions. (you can still explicitly call Sage's preparser to 
> convert Sage code into Python)
>

How to do that? What's the exact code/command?

HY
 

>  
>>
>>>
>>>> Regards,
>>>> HY
>>>>
>>>>
>>>>>
>>>>> On Tue, 18 May 2021, 06:27 Hongyi Zhao,  wrote:
>>>>>
>>>>>>
>>>>>> I want to obtain the similar behavior in sage for pretty printing as 
>>>>>> in ipython. Any hints will be highly appreciated.
>>>>>>
>>>>>> Regards,
>>>>>> HY
>>>>>>
>>>>>> -- 
>>>>>> You received this message because you are subscribed to the Google 
>>>>>> Groups "sage-support" group.
>>>>>> To unsubscribe from this group and stop receiving emails from it, 
>>>>>> send an email to sage-support...@googlegroups.com.
>>>>>> To view this discussion on the web visit 
>>>>>> https://groups.google.com/d/msgid/sage-support/99bb367f-7564-4736-804c-5d942b1f1773n%40googlegroups.com
>>>>>>  
>>>>>> <https://groups.google.com/d/msgid/sage-support/99bb367f-7564-4736-804c-5d942b1f1773n%40googlegroups.com?utm_medium=email&utm_source=footer>
>>>>>> .
>>>>>>
>>>>> -- 
>>>> You received this message because you are subscribed to the Google 
>>>> Groups "sage-support" group.
>>>> To unsubscribe from this group and stop receiving emails from it, send 
>>>> an email to sage-support...@googlegroups.com.
>>>>
>>> To view this discussion on the web visit 
>>>> https://groups.google.com/d/msgid/sage-support/7c3b1bad-afd2-4da0-9748-c6c9dc710204n%40googlegroups.com
>>>>  
>>>> <https://groups.google.com/d/msgid/sage-support/7c3b1bad-afd2-4da0-9748-c6c9dc710204n%40googlegroups.com?utm_medium=email&utm_source=footer>
>>>> .
>>>>
>>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-support" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-support...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-support/8db460ee-9c2c-449f-97c9-e13695a82dc3n%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/sage-support/8db460ee-9c2c-449f-97c9-e13695a82dc3n%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/9f932177-4e50-4045-9439-5e3fa681d2c7n%40googlegroups.com.


Re: [sage-support] How to set the default pretty printing behaviour for sage?

2021-05-18 Thread Hongyi Zhao


On Tuesday, May 18, 2021 at 6:31:08 PM UTC+8 dim...@gmail.com wrote:

>
>
> On Tue, 18 May 2021, 10:38 Hongyi Zhao,  wrote:
>
>>
>>
>> On Tuesday, May 18, 2021 at 2:52:04 PM UTC+8 dim...@gmail.com wrote:
>>
>>> You can just load sage in ipython:
>>>
>>> ./sage --ipython
>>>
>>> and at ipython prompt do
>>>
>>> from sage.all import *
>>>
>>
>> Really, it does the trick.
>>
>>
>>>
>>> (note this does not load sage's preparser, i.e. you won't be able to use 
>>> ^ instead of **, etc)
>>>
>>
>> Thank you. When using the `--ipython` option to call sage, can I still 
>> have the magical function of the sage at the same time?
>>
>
> all what sage --ipython does is running a iPython which has sage modules 
> available.
>
> some Sage magic is actually iPython, afaik.
>

But, as you have told, not all, say, for power calculation, ^ sign only 
works in sage.
 

>
>> Regards,
>> HY
>>
>>
>>>
>>> On Tue, 18 May 2021, 06:27 Hongyi Zhao,  wrote:
>>>
>>>>
>>>> I want to obtain the similar behavior in sage for pretty printing as in 
>>>> ipython. Any hints will be highly appreciated.
>>>>
>>>> Regards,
>>>> HY
>>>>
>>>> -- 
>>>> You received this message because you are subscribed to the Google 
>>>> Groups "sage-support" group.
>>>> To unsubscribe from this group and stop receiving emails from it, send 
>>>> an email to sage-support...@googlegroups.com.
>>>> To view this discussion on the web visit 
>>>> https://groups.google.com/d/msgid/sage-support/99bb367f-7564-4736-804c-5d942b1f1773n%40googlegroups.com
>>>>  
>>>> <https://groups.google.com/d/msgid/sage-support/99bb367f-7564-4736-804c-5d942b1f1773n%40googlegroups.com?utm_medium=email&utm_source=footer>
>>>> .
>>>>
>>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-support" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-support...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-support/7c3b1bad-afd2-4da0-9748-c6c9dc710204n%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/sage-support/7c3b1bad-afd2-4da0-9748-c6c9dc710204n%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/8db460ee-9c2c-449f-97c9-e13695a82dc3n%40googlegroups.com.


Re: [sage-support] How to set the default pretty printing behaviour for sage?

2021-05-18 Thread Hongyi Zhao


On Tuesday, May 18, 2021 at 2:52:04 PM UTC+8 dim...@gmail.com wrote:

> You can just load sage in ipython:
>
> ./sage --ipython
>
> and at ipython prompt do
>
> from sage.all import *
>

Really, it does the trick.


>
> (note this does not load sage's preparser, i.e. you won't be able to use ^ 
> instead of **, etc)
>

Thank you. When using the `--ipython` option to call sage, can I still have 
the magical function of the sage at the same time?

Regards,
HY


>
> On Tue, 18 May 2021, 06:27 Hongyi Zhao,  wrote:
>
>>
>> I want to obtain the similar behavior in sage for pretty printing as in 
>> ipython. Any hints will be highly appreciated.
>>
>> Regards,
>> HY
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-support" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-support...@googlegroups.com.
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-support/99bb367f-7564-4736-804c-5d942b1f1773n%40googlegroups.com
>>  
>> <https://groups.google.com/d/msgid/sage-support/99bb367f-7564-4736-804c-5d942b1f1773n%40googlegroups.com?utm_medium=email&utm_source=footer>
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/7c3b1bad-afd2-4da0-9748-c6c9dc710204n%40googlegroups.com.


[sage-support] How to set the default pretty printing behaviour for sage?

2021-05-17 Thread Hongyi Zhao

I want to obtain the similar behavior in sage for pretty printing as in 
ipython. Any hints will be highly appreciated.

Regards,
HY

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-support/99bb367f-7564-4736-804c-5d942b1f1773n%40googlegroups.com.