File tree 4 files changed +15
-4
lines changed
4 files changed +15
-4
lines changed Original file line number Diff line number Diff line change 1
1
name = " CapAndHomalg"
2
2
uuid = " c4774649-1891-41ea-a883-87141804c57c"
3
3
authors = [
" Mohamed Barakat <[email protected] >" ]
4
- version = " 1.4.4 "
4
+ version = " 1.4.5 "
5
5
6
6
[deps ]
7
7
GAP = " c863536a-3901-11e9-33e7-d5cd0df7b904"
Original file line number Diff line number Diff line change @@ -147,7 +147,6 @@ global PACKAGES_BASED_ON_CAP = [
147
147
" QPA2" ,
148
148
" SubcategoriesForCAP" ,
149
149
" Toposes" ,
150
- " WrapperCategories" ,
151
150
" ZariskiFrames" ,
152
151
]
153
152
@@ -189,6 +188,7 @@ global PACKAGES_DEPRECATED = [
189
188
" QuotientCategories" ,
190
189
" StableCategories" ,
191
190
" TriangulatedCategories" ,
191
+ " WrapperCategories" ,
192
192
]
193
193
194
194
"""
Original file line number Diff line number Diff line change @@ -192,8 +192,6 @@ function __init__()
192
192
# # needed by the variable HOMALG_IO_Singular below
193
193
LoadPackage (" RingsForHomalg" )
194
194
195
- SizeScreen ( [ 2 ^ 12 ] )
196
-
197
195
# # loading IO_ForHomalg now suppresses its banner later
198
196
LoadPackage (" IO_ForHomalg" )
199
197
Original file line number Diff line number Diff line change @@ -86,3 +86,16 @@ export SizeScreen
86
86
global SIZE_SCREEN_ORIGINAL = SizeScreen ()
87
87
88
88
export SIZE_SCREEN_ORIGINAL
89
+
90
+ # # Max' code suggestion for overwriting GAP's standard Display method
91
+ function Display (obj:: GapObj )
92
+ return print (String (GAP. Globals. StringDisplayObj (obj)))
93
+ end
94
+
95
+ export Display
96
+
97
+ function InfoOfInstalledOperationsOfCategory (obj:: GapObj )
98
+ Display (InfoStringOfInstalledOperationsOfCategory (obj))
99
+ end
100
+
101
+ export InfoOfInstalledOperationsOfCategory
You can’t perform that action at this time.
0 commit comments