Re: [fricas-devel] generate images from sources in appendix

2024-04-18 Thread Waldek Hebisch
On Thu, Apr 18, 2024 at 09:21:17PM +0800, Qian Yun wrote: > > > On 4/16/24 22:38, Waldek Hebisch wrote: > > > > Just a silly question: have you looked why the image is so big? > > Your new image is 6.7M and bigger than scanned version (4.3M). > > Old knot3.ps is 77k lines giving 1.1M size. At

Re: [fricas-devel] generate images from sources in appendix

2024-04-18 Thread Waldek Hebisch
On Wed, Apr 17, 2024 at 09:03:04AM +0200, Ralf Hemmecke wrote: > > > Just a silly question: have you looked why the image is so big? > > Just a proposal. What about putting moderately sized smooth pictures into > the book and high resolution pics at some place in the web and make to book > only

Re: [fricas-devel] generate images from sources in appendix

2024-04-18 Thread Qian Yun
On 4/16/24 22:38, Waldek Hebisch wrote: Just a silly question: have you looked why the image is so big? Your new image is 6.7M and bigger than scanned version (4.3M). Old knot3.ps is 77k lines giving 1.1M size. At first glance adding color to this could double or maybe triple the size. .pdf

Re: [fricas-devel] generate images from sources in appendix

2024-04-17 Thread Ralf Hemmecke
Just a silly question: have you looked why the image is so big? Just a proposal. What about putting moderately sized smooth pictures into the book and high resolution pics at some place in the web and make to book only pointing to these online pictures, in particular those probably

Re: [fricas-devel] generate images from sources in appendix

2024-04-16 Thread Qian Yun
On 4/17/24 08:18, Waldek Hebisch wrote: On average a "shade" style picture takes around 50-200KB and a "smooth" style picture takes 200-400KB depending on the complexity of the picture. I admit that for me "shade" style looks better than "smooth". For knot3 I'm OK with both "shade" and

Re: [fricas-devel] generate images from sources in appendix

2024-04-16 Thread Waldek Hebisch
On Wed, Apr 17, 2024 at 07:26:21AM +0800, Qian Yun wrote: > > > On 4/16/24 22:38, Waldek Hebisch wrote: > > On Tue, Apr 16, 2024 at 06:11:56PM +0800, Qian Yun wrote: > > > I can now generate all images from sources listed in appendix. > > > > Good. > > > Although only src/doc/ps/knot3.ps is

Re: [fricas-devel] generate images from sources in appendix

2024-04-16 Thread Qian Yun
On 4/16/24 22:38, Waldek Hebisch wrote: On Tue, Apr 16, 2024 at 06:11:56PM +0800, Qian Yun wrote: I can now generate all images from sources listed in appendix. Good. Although only src/doc/ps/knot3.ps is currentlly used in chapter 7. We can delete this 70k line ps file from repo now.

Re: [fricas-devel] generate images from sources in appendix

2024-04-16 Thread Waldek Hebisch
On Tue, Apr 16, 2024 at 06:11:56PM +0800, Qian Yun wrote: > I can now generate all images from sources listed in appendix. Good. > Although only src/doc/ps/knot3.ps is currentlly used in chapter 7. > We can delete this 70k line ps file from repo now. > (And it's black and white, I can generate